612 search results - page 106 / 123 » Bounded model checking for knowledge and real time |
186
click to vote
ACL
2010
15 years 3 months ago
2010
This paper describes an initial prototype demonstrator of a Companion, designed as a platform for novel approaches to the following: 1) The use of Information Extraction (IE) tech...
163
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Tight clustering arose recently from a desire to obtain tighter and potentially more informative clusters in gene expression studies. Scattered genes with relatively l...
165
click to vote
FGR
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we rst describe how we have constructed a 3D deformable Point Distribution Model of the human hand, capturing training data semi-automatically from volume images via...
164
click to vote
IJCAI
2007
15 years 7 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
151
click to vote
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We study the problem of estimating the position and orientation of a calibrated camera from an image of a known scene. A common problem in camera pose estimation is the e...