2618 search results - page 305 / 524 » Natural Human-Robot Interaction |
166
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
We present an approach to personal disaster recovery, e.g. after a hard-disk crash, based not on an explicitly ex-ante defined recovery plan with a rigid backup regime, but rather...
162
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
167
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...
163
click to vote
OSS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract The reuse of Open Source Software components available on the Internet is playing a major role in the development of Component Based Software Systems. Nevertheless, the sp...
152
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
Online creative collaboration projects are started every day, but many fail to produce new artifacts of value. In this poster, we address the question of why some of these project...