254 search results - page 17 / 51 » A Demand-Driven Algorithm for Generating Minimal Models |
116
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
For the tasks of classification, two types of patterns can generate problems: ambiguous patterns and outliers. Furthermore, it is possible to separate classification algorithms in...
124
Voted
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
122
Voted
IJRR
2010
15 years 4 days ago
2010
We present an anytime algorithm for coordinating multiple autonomous searchers to find a potentially adversarial target on a graphical representation of a physical environment. Th...
141
click to vote
ICAT
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we present a real-time 3D object tracking algorithm based on edges and using a single pre-calibrated camera. During the tracking process, the algorithm is continuous...
127
click to vote
DSD
2003
IEEE
15 years 8 months ago
2003
IEEE
Network on Chip (NoC) is a new paradigm for designing core based System on Chip which supports high degree of reusability and is scalable. In this paper we describe an efficient t...