293 search results - page 43 / 59 » Advances in Probabilistic Model Checking |
ICPR
2006
IEEE
16 years 26 days ago
2006
IEEE
Recent technological advances have enabled human users to interact with computers in ways previously unimaginable. Beyond the confines of the keyboard and mouse, new modalities fo...
ACIVS
2006
Springer
15 years 5 months ago
2006
Springer
Content analysis of video and still images is attractive for multiple reasons, such as enabling content-based actions and image manipulation. This paper presents a new algorithm an...
GECCO
2008
Springer
15 years 25 days ago
2008
Springer
One crucial issue in genetic programming (GP) is how to acquire promising building blocks efficiently. In this paper, we propose a GP method (called GPTM, GP with Tree Mining) whi...
SAT
2004
Springer
15 years 5 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
108
click to vote
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— A long cherished goal in artificial intelligence has been the ability to endow a robot with the capacity to learn and generalize skills from watching a human teacher. Such an ...