559 search results - page 32 / 112 » Augmented Marked Graphs |
CADE
2003
Springer
14 years 9 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
ECEASST
2008
13 years 9 months ago
2008
: Graph parsing is known to be computationally expensive. For this reason the construction of special-purpose parsers may be beneficial for particular graph languages. In the domai...
ISMAR
2008
IEEE
14 years 3 months ago
2008
IEEE
Ubiquitous Tracking (Ubitrack) setups, consisting of many previously unknown sensors, offer many possibilities to perform sensor fusion in order to increase robustness and accurac...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
This paper describes preliminary results of research on the perception and usability of interfaces projected onto realworld objects. Using a projector setup that enables us to com...
PAM
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. Timeouts play a fundamental role in network protocols, controlling numerous aspects of host behavior at different layers of the protocol stack. Previous work has documen...