Sciweavers

2827 search results - page 88 / 566
» CCured in the real world
Sort
View
VRML
2004
ACM
15 years 11 months ago
A VRML97-X3D extension for massive scenery management in virtual worlds
In this paper we present a VRML97-X3D extension to describe precomputed visibility relationships in the context of progressive transmission as well as real time visualization of m...
Jean-Eudes Marvie, Kadi Bouatouch
PVLDB
2010
126views more  PVLDB 2010»
15 years 4 months ago
Set Similarity Join on Probabilistic Data
Set similarity join has played an important role in many real-world applications such as data cleaning, near duplication detection, data integration, and so on. In these applicati...
Xiang Lian, Lei Chen 0002
CHI
2008
ACM
16 years 6 months ago
Acceptance of augmented reality instructions in a real work setting
The differences between Augmented Reality (AR) systems and computer display based systems create a need for a different approach to the design and development of AR systems. To un...
Björn J. E. Johansson, Susanna Nilsson
PODC
1990
ACM
15 years 10 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
CORR
2000
Springer
67views Education» more  CORR 2000»
15 years 6 months ago
The dynamics of iterated transportation simulations
Abstract: Iterating between a router and a traffic micro-simulation is an increasibly accepted method for doing traffic assignment. This paper, after pointing out that the analytic...
Kai Nagel, Marcus Rickert, Patrice M. Simon, Marti...