2203 search results - page 380 / 441 » Temporal Abstract Interpretation |
106
click to vote
SCVMA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In registration-based tracking precise pose between a reference template and the current image is determined by warping image patches into the template coordinates and ma...
INFOCOM
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract— Replacement policies for general caching applications and Web caching in particular have been discussed extensively in the literature. Many ad-hoc policies have been pr...
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
d Abstract) Christel Baier1 , Holger Hermanns2,3 , Joost-Pieter Katoen2 , and Verena Wolf1 1 Institut f¨ur Informatik I, University of Bonn R¨omerstraße 164, D-53117 Bonn, Germa...
CP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Combinatorial auctions are an important e-commerce application where bidders can bid on combinations of items. The problem of selecting the best bids that cover all items...
100
click to vote
ERCIMDL
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Walden’s Paths is a suite of tools that supports the creation and presentation of linear hypermedia paths—targeted collections that enable authors to reorganize and c...