12981 search results - page 2213 / 2597 » Model Checking (Abstract) |
134
click to vote
CIE
2009
Springer
15 years 11 months ago
2009
Springer
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
137
click to vote
COSIT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
156
click to vote
CPAIOR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The multileaf collimator sequencing problem is an important component in effective cancer treatment delivery. The problem can be formulated as finding a decomposition of...
140
click to vote
CRYPTO
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We consider enhancing with privacy concerns a large class of auctions, which include sealed-bid single-item auctions but also general multi-item multi-winner auctions, ou...
148
click to vote
DIS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Group comparison per se is a fundamental task in many scientific endeavours but is also the basis of any classifier. Contrast sets and emerging patterns contrast betwee...