1743 search results - page 101 / 349 » Generalized Modal Satisfiability |
112
Voted
CHI
2004
ACM
16 years 1 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...
215
Voted
POPL
2004
ACM
16 years 1 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...
98
Voted
CSFW
1992
IEEE
15 years 4 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...
113
Voted
HRI
2007
ACM
15 years 4 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. ...
114
Voted
ATAL
2006
Springer
15 years 2 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 ...