4095 search results - page 483 / 819 » How to test a tree |
211
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
151
click to vote
ISF
2010
15 years 4 months ago
2010
As more and more companies are deploying, or plan to deploy, information systems, the organizational capabilities to effectively deploy information technologies to support and shap...
164
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
Motion and interaction with the environment are fundamentally
intertwined. Few people-tracking algorithms exploit
such interactions, and those that do assume that surface
geomet...
176
click to vote
CVPR
2003
IEEE
16 years 7 months ago
2003
IEEE
In this paper, we propose a novel and efficient approach for active unsurpervised texture segmentation. First, we show how we can extract a small set of good features for texture ...
165
click to vote
CVPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a spatio-temporal query language useful for video interpretation and event recognition. The language is suited to describe configurations of objects moving on ...