13383 search results - page 316 / 2677 » Abstractions from proofs |
154
click to vote
EMMCVPR
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present an algorithm for automatically constructing a decompositional shape model from examples. Unlike current approaches to structural model acquisition, in which on...
211
click to vote
SSPR
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In surveillance systems for monitoring people behaviour, it is imporant to build systems that can adapt to the signatures of the people tasks and movements in the environ...
183
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
Qualitative models are often a useful abstraction of the physical world. Learning qualitative models from numerical data sible way to obtain such an abstraction. We present a new ...
168
click to vote
TC
2008
15 years 6 months ago
2008
Abstract-- Dilated integers form an ordered group of the cartesian indices into a d-dimensional array represented in Morton order. Efficient implementations of its operations can b...
200
click to vote
JSS
2007
15 years 6 months ago
2007
A consequence of the growing number of empirical studies in software engineering is the need to adopt systematic approaches to assessing and aggregating research outcomes in order...