271 search results - page 42 / 55 » Observational Completeness on Abstract Interpretation |
ISCI
2002
2002
Intelligent learning and control of autonomous robotic agents operating in unstructured environments
13 years 9 months ago
The control of autonomous intelligent robotic agent operating in unstructured changing environments includes many objective difficulties. One major difficulty concerns the charact...
MSCS
2007
13 years 9 months ago
2007
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
RAS
2007
13 years 9 months ago
2007
Range measuring sensors can play an extremely important role in robot navigation. All range measuring devices rely on a ‘detection criterion’ made in the presence of noise, to...
WWW
2011
ACM
13 years 4 months ago
2011
ACM
Modeling a user’s click-through behavior in click logs is a challenging task due to the well-known position bias problem. Recent advances in click models have adopted the examin...
EMMCVPR
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. We present two data-driven importance distributions for particle filterbased articulated tracking; one based on background subtraction, another on depth information. In ...