Sciweavers

4460 search results - page 248 / 892
» Formal methods for interactive systems
Sort
View
146
Voted
3DIM
2003
IEEE
15 years 10 months ago
Stable Real-Time Interaction Between Virtual Humans And Real Scenes
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...
Luca Vacchetti, Vincent Lepetit, George Papagianna...
SIGMOD
2006
ACM
153views Database» more  SIGMOD 2006»
16 years 5 months ago
Interactive query formulation over web service-accessed sources
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...
Michalis Petropoulos, Alin Deutsch, Yannis Papakon...
121
Voted
ACII
2005
Springer
15 years 10 months ago
A User-Centered Approach to Affective Interaction
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...
Petra Sundström, Anna Ståhl, Kristina H...
IVS
2008
79views more  IVS 2008»
15 years 5 months ago
Scalable and interactive visual analysis of financial wire transactions for fraud detection
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 ...
Remco Chang, Alvin Lee, Mohammad Ghoniem, Robert K...
143
Voted
ICECCS
2007
IEEE
111views Hardware» more  ICECCS 2007»
15 years 9 months ago
A Refinement Driven Component-Based Design
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang,...