254 search results - page 17 / 51 » A Demand-Driven Algorithm for Generating Minimal Models |
ICPR
2004
IEEE
14 years 8 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...
ATVA
2005
Springer
14 years 1 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 ...
IJRR
2010
13 years 5 months 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...
ICAT
2007
IEEE
13 years 9 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...
DSD
2003
IEEE
14 years 1 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...