2089 search results - page 170 / 418 » Finding Environment Guarantees |
174
click to vote
KI
2010
Springer
14 years 11 months ago
2010
Springer
A service robot should be able to automatically plan manipulation actions to help people in domestic environments. Following the classic senseplan-act cycle, in this paper we prese...
137
click to vote
TSP
2010
14 years 11 months ago
2010
In this paper, the achievable rates of the so called "multiple-input multiple-output interference channel", exploited by a couple of single antenna primary terminals and...
131
Voted
IACR
2011
14 years 4 months ago
2011
Distance bounding protocols are typically analyzed with respect to three types of attacks: Distance Fraud, Mafia Fraud, and Terrorist Fraud. We define and analyze a fourth main ...
245
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Complex event patterns involving Kleene closure are finding application in a variety of stream environments for tracking and monitoring purposes. In this paper, we propose a compac...
196
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
We discuss Morpheus, a data transformation construction tool and associated repository. The architecture of Morpheus is motivated by the goal to reuse (pieces of) previously writt...