17049 search results - page 250 / 3410 » cans 2007 |
166
Voted
IJCAI
1993
15 years 8 months ago
1993
Traditional algorithms for prime implicate generation [Quine, 1952; McCluskey, 1956; Tison, 1967; Kean and Tsiknis, 1990; de Kleer, 1992] require the input formulas to be first tr...
202
click to vote
ASE
2006
15 years 6 months ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
194
click to vote
OWLED
2007
15 years 8 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
193
click to vote
ICMLA
2004
15 years 8 months ago
2004
This paper introduces a system, called PolyCluster, which adopts state-of-the-art algorithms for data visualization and integrates human domain knowledge into the construction pro...
185
click to vote
MVA
2000
15 years 8 months ago
2000
This paper explores the possibility of a linear model as a solution to the problem of appearance-based pose estimation. The parametric eigenspace method (or its extensions that ar...