4460 search results - page 248 / 892 » Formal methods for interactive systems |
146
Voted
3DIM
2003
IEEE
15 years 10 months ago
2003
IEEE
We present an Augmented Reality system that relies on purely passive techniques to solve the real-time registration problem. It can run on a portable PC and does not require engin...
234
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
Integration systems typically support only a restricted set of queries over the schema they export. The reason is that the participating information sources contribute limited con...
121
Voted
ACII
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We have built eMoto, a mobile service for sending and receiving affective messages, with the explicit aim of addressing the inner experience of emotions. eMoto is a desig...
139
click to vote
IVS
2008
15 years 5 months ago
2008
Large financial institutions such as Bank of America handle hundreds of thousands of wire transactions per day. Although most transactions are legitimate, these institutions have ...
143
Voted
ICECCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...