5326 search results - page 222 / 1066 » On what we can ensure |
148
click to vote
AAAI
1990
15 years 7 months ago
1990
In this article we present a novel, hybrid graph spatial representation for robot navigation. This representation enables our mobile robot to build a model of its surroundings whi...
145
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—We present a transactional datapath specification (Tspec) and the tool (T-piper) to synthesize automatically an inpelined implementation from it. T-spec abstractly views...
171
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Sensornets provide coverage of physical phenomena over extended periods, perhaps months or years. However, active nodes may deplete finite batteries within days, and are prone to...
153
click to vote
CCR
2000
15 years 6 months ago
2000
Non-repudiation protocols aim at preventing parties in a communication from falsely denying having taken part in that communication; for example, a non-repudiation protocol for di...
160
click to vote
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...