4418 search results - page 481 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
162
click to vote
HOTDEP
2008
15 years 9 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
188
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
This paper presents QuickStroke: a system for the incremental recognition of handwritten Chinese characters. Only a few strokes of an ideogram need to be entered in order for a ch...
176
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Structured peer-to-peer systems have grown enormously because of their scalability, efficiency and reliability. These systems assign a unique identifier to each user ...
194
click to vote
ISPDC
2006
IEEE
16 years 25 days ago
2006
IEEE
Using grid resources to execute scientific applications requiring a large amount of computing power is attractive but not easy from the user point of view. Vigne is a grid operati...
225
click to vote
ICCV
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract. Visual detection and tracking of humans in complex scenes is a challenging problem with a wide range of applications, for example surveillance and human-computer interact...