6884 search results - page 241 / 1377 » The macro-structure of use of help |
168
click to vote
ICMCS
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper introduces a new approach of approximating the selectivity of multimedia range queries. Estimating the selectivity of a range query is a pre-requisite to optimize a mul...
150
click to vote
FMCAD
2007
Springer
16 years 25 days ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
170
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Several researchers, present authors included, envision personal mobile robot agents that can assist humans in their daily tasks. Despite many advances in robotics, such mobile ro...
219
click to vote
WIAS
2008
15 years 6 months ago
2008
Our system, based on a multiagent framework called collaborative understanding of distributed knowledge (CUDK), is designed with the overall goal of balancing agents' conceptu...
169
click to vote
WCRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Automatic and advanced merging algorithms help programmers to merge their modifications in main development repositories. However, there is little support to help release maste...