4022 search results - page 394 / 805 » Adaptive Sweeping Techniques |
175
click to vote
JAR
2007
15 years 7 months ago
2007
We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptat...
205
click to vote
COR
1999
15 years 7 months ago
1999
This article describes applications of modern heuristic search methods to pattern sequencing problems, i.e., problems seeking for a permutation of the rows of a given matrix with r...
169
click to vote
SIGCSE
2002
ACM
15 years 7 months ago
2002
ACM
A course that surveys state-of-the-art microprocessors offers an excellent forum for students to see how computer architecture techniques are employed in practice and for them to ...
212
click to vote
ICALT
2009
IEEE
15 years 5 months ago
2009
IEEE
Digital Educational Games offer immersive environments through which learners can enjoy motivational and compelling educational experiences. Applying personalization techniques wi...
252
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we present a component-based visual object tracker for mobile platforms. The core of the technique is a component-based descriptor that captures the structure and ap...