3709 search results - page 288 / 742 » Supporting experimentation with Side-Views |
175
click to vote
AI
2003
Springer
16 years 20 days ago
2003
Springer
Discovering association rules is one of the important tasks in data mining. While most of the existing algorithms are developed for efficient mining of frequent patterns, it has be...
208
click to vote
AVBPA
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. In face recognition, a simple classifier such as NNk − is frequently used. For a robust system, it is common to construct the multiclass classifier by combining the out...
197
click to vote
CAV
2003
Springer
16 years 20 days ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
199
click to vote
ESSMAC
2003
Springer
16 years 19 days ago
2003
Springer
We apply a constrained Hidden Markov Model architecture to the problem of simultaneous localization and surveying from sensor logs of mobile agents navigating in unknown environmen...
196
click to vote
ISMVL
2010
IEEE
16 years 15 days ago
2010
IEEE
—Multiway Decision Graphs (MDGs) subsume Binary Decision Diagrams (BDDs) and extend them by a first-order formulae suitable for model checking of data path circuits. In this pap...