9370 search results - page 1516 / 1874 » An Abstract Notion of Application |
183
click to vote
CAV
2003
Springer
16 years 20 hour ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
178
click to vote
COLT
2003
Springer
16 years 18 hour ago
2003
Springer
Abstract. We study the problem of learning partitions using equivalence constraints as input. This is a binary classification problem in the product space of pairs of datapoints. ...
184
click to vote
COSIT
2003
Springer
16 years 17 hour ago
2003
Springer
Abstract. The navigation task is a very demanding application for mobile users. The algorithms of present software solutions are based on the established methods of car navigation ...
169
click to vote
CP
2003
Springer
16 years 17 hour 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...
169
Voted
ECOOPW
2003
Springer
16 years 13 hour ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...