10 search results - page 2 / 2 » From Circus to JCSP |
FM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
FAST
2004
13 years 6 months ago
2004
Whole-file transfer is a basic primitive for Internet content dissemination. Content servers are increasingly limited by disk arm movement given the rapid growth in disk density, ...
AQUILEIA
2011
12 years 4 months ago
2011
Abstract. Integrated remote sensing and geophysical methods can provide detailed information about buried cultural heritage. We implemented an integrated survey protocol (IREGA, In...
EDUTAINMENT
2009
Springer
13 years 11 months ago
2009
Springer
This paper investigates how graphically displayed intelligent virtual actors, mobile devices and innovative interaction modalities can support and enhance educational role-play as ...
CANDC
2007
ACM
13 years 9 months ago
2007
ACM
The authors will introduce and demonstrate a novel computer vision based system for augmented performance. Unlike previous systems, which have primarily focused on `high art'...