13734 search results - page 183 / 2747 » Abstractions of data types |
145
click to vote
CONCUR
2012
Springer
13 years 6 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 ...
136
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
134
click to vote
IROS
2009
IEEE
15 years 11 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...
152
click to vote
ATAL
2007
Springer
15 years 10 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...
148
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Finding a good wavelet for a particular application and type of input data is a difficult problem. Traditional methods of wavelet deus on abstract properties of the wavelet that ca...