1743 search results - page 101 / 349 » Generalized Modal Satisfiability |
132
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
As computers and other information technology move into cars and trucks, distraction-related crashes are likely to become an important problem. This paper begins to address this p...
240
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
117
click to vote
CSFW
1992
IEEE
15 years 7 months ago
1992
IEEE
Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical sy...
133
click to vote
HRI
2007
ACM
15 years 7 months ago
2007
ACM
This paper describes a robotic system that uses dance as a form of social interaction to explore the properties and importance of rhythmic movement in general social interaction. ...
136
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...