10907 search results - page 309 / 2182 » Constraint Based Strategies |
152
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a practical path planning algorithm based on B
161
click to vote
ESA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A materialized view is a certain synopsis structure precomputed from one or more data sets (called base tables) in order to facilitate various queries on the data. When t...
172
click to vote
AAAI
2008
15 years 8 months ago
2008
Security at major locations of economic or political importance is a key concern around the world, particularly given the threat of terrorism. Limited security resources prevent f...
194
Voted
FM
2008
Springer
15 years 7 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
156
click to vote
WINE
2009
Springer
16 years 22 days ago
2009
Springer
Recent results regarding games with congestion-averse utilities (or, congestion-averse games—CAGs) have shown they possess some very desirable properties. Specifically, they hav...