7429 search results - page 693 / 1486 » Embedded System Update |
198
click to vote
STOC
2010
ACM
16 years 4 months ago
2010
ACM
We prove that the complexity class QIP, which consists of all problems having quantum interactive proof systems, is contained in PSPACE. This containment is proved by applying a p...
209
click to vote
GW
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a method of image processing used in a mono-vision system in order to study semiotic gestures. We present a robust method to track the hands and face of a perso...
200
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we propose a system design for delivery of immersive communications to mobile wireless devices based on a distributed proxy model. It is demonstrated that this archi...
171
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
We report on two new portals for searching MEDLINE/PubMed with handheld devices, PICO (Patient, Intervention, Comparison, Outcome) and a WAP (Wireless Application Protocol) browse...
292
click to vote
FIDJI
2004
Springer
16 years 25 days ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...