2607 search results - page 58 / 522 » On the Architecture of System Verification Environments |
MOBISYS
2005
ACM
15 years 11 months ago
2005
ACM
Realityflythrough is a telepresence/tele-reality system that works in the dynamic, uncalibrated environments typically associated with ubiquitous computing. By harnessing networke...
VRST
2000
ACM
15 years 4 months ago
2000
ACM
In this paper we present the work undertaken by the Advanced Interfaces Group at the University of Manchester into the design and development of a system to support large numbers ...
108
click to vote
AINA
2007
IEEE
15 years 3 months ago
2007
IEEE
In ubiquitous computing environment, identification of objects and places in the real world is important, and 2-D printing code is useful to store identifiers of them. However, si...
LREC
2008
15 years 1 months ago
2008
Speaker identification and verification systems have a poor performance when model training is done in one language while the testing is done in another. This situation is not unu...
120
click to vote
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...