1581 search results - page 227 / 317 » Mechanizing Inductive Reasoning |
107
click to vote
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose a statistical formulation for 2-D human pose estimation from single images. The human body configuration is modeled by a Markov network and the estimation problem is to...
ECCV
2008
Springer
16 years 1 months ago
2008
Springer
Automatically assigning keywords to images is of great interest as it allows one to index, retrieve, and understand large collections of image data. Many techniques have been propo...
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In many clustering applications, the user has some vague notion of the number and membership of the desired clusters. However, it is difficult for the user to provide such knowled...
227
click to vote
GIS
2005
ACM
16 years 28 days ago
2005
ACM
Recent advances in low-power sensing devices coupled with the widespread availability of wireless ad-hoc networks have fueled the development of sensor networks. These are typical...
SIGSOFT
2007
ACM
16 years 19 days ago
2007
ACM
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...