2687 search results - page 82 / 538 » On the Conversion between Number Systems |
249
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
105
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
There have been many attempts to support awareness and lightweight interactions using video and audio, but few have been built on widely available infrastructure. Text-based syste...
158
click to vote
VR
2009
IEEE
15 years 11 months ago
2009
IEEE
Due to the intrinsic subtlety and dynamics of eye movements, automated generation of natural and engaging eye motion has been a challenging task for decades. In this paper we pres...
153
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we present a novel methodology for detection and tracking of facial features like eyes, nose and mouth in image sequences. The proposed methodology is intended to...
118
click to vote
ICDIM
2008
IEEE
15 years 11 months ago
2008
IEEE
Client-server architectures with clients on divergent platforms are in need of services that serve a high level of interoperability and a loose binding. It should be prevented tha...