Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems

1997 ◽  
Author(s):  
Scott A. Smolka
2011 ◽  
Vol 2 (4) ◽  
pp. 89 ◽  
Author(s):  
Donald H. Sanders

<p>This paper focuses on a system that can ensure that excavations are indeed fully documented and that the record is accurate. REVEAL is a single piece of software that coordinates all data types used at excavations with semi-automated tools that in turn can ease the process of documenting sites, trenches and objects, of recording excavation progress, of researching and analyzing the collected evidence, and even of creating 3D models and virtual worlds. Search and retrieval, and thus testing hypotheses against the excavated material happens in real time, as the excavation proceeds. That is the important advance.</p>


2005 ◽  
Vol 42 (6-7) ◽  
pp. 389-418 ◽  
Author(s):  
Mila Majster-Cederbaum ◽  
Jinzhao Wu ◽  
Houguang Yue

Author(s):  
Victor V. Kuliamin ◽  
Alexander K. Petrenko ◽  
Nick V. Pakoulin ◽  
Alexander S. Kossatchev ◽  
Igor B. Bourdonov
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document