2050 search results - page 154 / 410 » constraints 2010 |
TMC
2010
13 years 5 months ago
2010
A data mule represents a mobile device that collects data in a sensor field by physically visiting the nodes in a sensor network. The data mule collects data when it is in the prox...
TEI
2010
ACM
14 years 5 months ago
2010
ACM
In this paper, I propose that visualization should escape the traditional constraint of the screen and embrace the physical environment to realize more tangible interactions for m...
FOIKS
2010
Springer
14 years 5 months ago
2010
Springer
A. Falappa, an Abstract Dialogue Framework Guillermo R. Simari Regular Helena Kein¨anen An Algorithm for Generating Nash Stable Coalition Structures in Hedonic Games 15:30-16:00 A...
FOSSACS
2010
Springer
14 years 5 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
The canonical algorithm to enforce box consistency over a constraint relies on a dichotomic process to isolate the leftmost and rightmost solutions. We identify some weaknesses of...