1171 search results - page 131 / 235 » Learning Systems of Concepts with an Infinite Relational Mod... |
278
click to vote
SIGCSE
2010
ACM
16 years 21 days ago
2010
ACM
The “Hacker Curriculum” exists as a mostly undocumented set of principles and methods for learning about information security. Hacking, in our view, is defined by the ability...
218
click to vote
FCSC
2010
15 years 3 months ago
2010
Graphical models have become the basic framework for topic based probabilistic modeling. Especially models with latent variables have proved to be effective in capturing hidden str...
205
click to vote
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
In this work, we present an approach to jointly segment a rigid object in a 2D image and estimate its 3D pose, using the knowledge of a 3D model. We naturally couple the two proces...
171
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
144
click to vote
IGPL
2006
15 years 5 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...