1712 search results - page 177 / 343 » Abstract Constraint Data Types |
131
click to vote
CONCUR
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
120
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...
112
click to vote
VLDB
1999
ACM
15 years 7 months ago
1999
ACM
Today’s object-relational DBMSs (ORDBMSs) are designed to support novel application domains by providing an extensible architecture, supplemented by domain-specific database ex...
139
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Mixed Multi-Unit Combinatorial Auctions extend and generalise all the preceding types of combinatorial auctions. In this paper, we try to make headway on the practical ap...
107
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...