1451 search results - page 125 / 291 » Order independence and rationalizability |
161
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
Identifying mutual exclusiveness between operators during behavioral synthesis is important in order to reduce the required number of control steps or hardware resources. To impro...
159
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper presents a fail-safe mobility management and a collision prevention platform for a group of asynchronous cooperative mobile robots. The fail-safe platform consists of a ...
159
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Planning as satisfiability is a powerful approach to solving domain independent planning problems. In this paper, we consider a relaxed semantics for plans with parallel operator a...
147
click to vote
EATIS
2007
ACM
15 years 10 months ago
2007
ACM
Platforms of digital democracy, including both those in platforms of e-government and those operating independently, provide a channel of citizen participation enabling democratic...
172
click to vote
FMN
2009
Springer
15 years 10 months ago
2009
Springer
OASIS Archive project aimed at developing a system for the universal presentation of Media Art works independent of location. The goal was to establish a user-friendly search syste...