3799 search results - page 720 / 760 » An Engineering Approach to Formal Methods |
123
click to vote
INFFUS
2011
14 years 7 months ago
2011
We provide a sensor fusion framework for solving the problem of joint ego-motion and road geometry estimation. More specifically we employ a sensor fusion framework to make syste...
124
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Due to the exponential growth of information on the Web, Recommender Systems have been developed to generate suggestions to help users overcome information overload and sift thr...
138
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Memory leaks compromise availability and security by crippling performance and crashing programs. Leaks are difficult to diagnose because they have no immediate symptoms. Online ...
158
click to vote
ARCS
2005
Springer
15 years 9 months ago
2005
Springer
We propose an active vision system for object acquisition. The core of our approach is a reinforcement learning module which learns a strategy to scan an object. The agent moves a...
148
click to vote
WSCG
2004
15 years 5 months ago
2004
Free form shapes are often used to fulfil both aesthetic and design constraints applied to parametric models currently adopted in CAD environments. Up to now, designers and engine...