5550 search results - page 399 / 1110 » Different Approaches to Proof Systems |
211
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
In recent years many powerful Computer Vision algorithms have been invented, making automatic or semiautomatic solutions to many popular vision tasks, such as visual object recogn...
185
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
TeNDaX is a collaborative database-based real-time editor system. TeNDaX is a new approach for word-processing in which documents (i.e. content and structure, tables, images etc.) ...
194
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
184
click to vote
ICDCSW
2009
IEEE
16 years 1 months ago
2009
IEEE
We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model supports a co-design approach for ...
146
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Auto ID systems can replace time-consuming, costly and error-prone processes of human data entry and produce detailed real time information. However, they will add value only to t...