4595 search results - page 689 / 919 » Reasoning about Plans |
116
Voted
HRI
2010
ACM
15 years 8 months ago
2010
ACM
—Speaking using unconstrained natural language is an intuitive and flexible way for humans to interact with robots. Understanding this kind of linguistic input is challenging be...
105
Voted
SAC
2010
ACM
15 years 8 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
98
Voted
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
119
Voted
CCS
2010
ACM
15 years 8 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
94
Voted
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...