1071 search results - page 165 / 215 » Solving Geometric Constraint Systems |
210
click to vote
PAAMS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract This paper contributes to the design of intelligent buildings. A MultiAgents Home Automation System (MAHAS) is proposed which controls appliances and energy sources in bui...
180
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
205
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
187
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...
162
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Distributed Constraint Satisfaction Problems (DCSPs) provide a model to capture a broad range of cooperative multiagent problem solving settings. Researchers have generally propos...