1054 search results - page 166 / 211 » From a Verified Kernel towards Verified Systems |
289
click to vote
Publication
Congestion remains one of the main obstacles to the Quality of Service (QoS) on the Internet. We think that a good solution to Internet congestion should optimally combine congesti...
114
click to vote
ECCV
2004
Springer
16 years 3 months ago
2004
Springer
Abstract. Complete 3-D modeling of a free-form object requires acquisition from multiple view-points. These views are then required to be registered in a common coordinate system b...
235
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
192
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Snippets are used by almost every text search engine to complement ranking scheme in order to effectively handle user searches, which are inherently ambiguous and whose relevance ...
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
Activity monitoring, a crucial task in many applications, is often conducted expensively using video cameras. Also, effectively monitoring a large field by analyzing images from m...