1264 search results - page 105 / 253 » The framework approach for constraint satisfaction |
167
click to vote
HASE
2008
IEEE
16 years 25 days ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
159
click to vote
ICNS
2008
IEEE
16 years 24 days ago
2008
IEEE
Many Service Oriented Architecture (SOA) approaches in use today presume the consistent availability of reliable networks and limitless resources. For some Department of Defense (...
171
click to vote
IROS
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...
181
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
Many approaches to learning and teaching rely upon students working in groups. So far, many Computer-Supported Group Formation systems have been designed to facilitate the formati...
169
click to vote
IJCAI
2007
15 years 7 months ago
2007
In this paper we propose a framework for decentralized model-based diagnosis of complex systems modeled with qualitative constraints and whose models are distributed among their s...