950 search results - page 10 / 190 » Modified global k |
CP
2008
Springer
14 years 13 days ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
CHI
2007
ACM
14 years 11 months ago
2007
ACM
This workshop explores User Centered Design (UCD) challenges and contributions to International economic and community Development. We are addressing interaction design for parts ...
TROB
2008
13 years 10 months ago
2008
Abstract-- Stability analysis of decentralized control mechanisms for networked, coordinating systems has generally focused on specific controller implementations, such as nearest ...
JLP
2010
13 years 5 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
SIGECOM
2003
ACM
14 years 3 months ago
2003
ACM
This paper discusses an interested party who wishes to influence the behavior of agents in a game (multi-agent interaction), which is not under his control. The interested party ...