988 search results - page 196 / 198 » SenseNet: A Knowledge Representation Model for Computational... |
CAV
2009
Springer
14 years 6 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
ICCV
1999
IEEE
14 years 7 months ago
1999
IEEE
We describe how 3D affine measurements may be computed from a single perspective view of a scene given only minimal geometric information determined from the image. This minimal i...
VSTTE
2005
Springer
13 years 11 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
CVPR
2007
IEEE
2007
IEEE
Discriminative Cluster Refinement: Improving Object Category Recognition Given Limited Training Data
14 years 8 months ago
A popular approach to problems in image classification is to represent the image as a bag of visual words and then employ a classifier to categorize the image. Unfortunately, a si...
IROS
2009
IEEE
14 years 16 days ago
2009
IEEE
— Programming a humanoid robot to perform an action that takes the robot’s complex dynamics into account is a challenging problem. Traditional approaches typically require high...