2586 search results - page 378 / 518 » Automatic Abstraction for Congruences |
174
click to vote
CAV
2003
Springer
15 years 11 months 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...
174
click to vote
CLEF
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The TextMap-TMT cross-language question answering system at USC-ISI was designed to answer Spanish questions from English documents. The system is fully automatic, includ...
161
click to vote
CP
2003
Springer
15 years 11 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...
192
click to vote
DEXA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Data mining, which aims at extracting interesting information from large collections of data, has been widely used as an effective decision making tool. Mining the datas...
160
click to vote
ESAW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Design patterns already proved successful in lowering the development time and number of errors of object-oriented software; now, they are, candidate to play a similar ro...