Sciweavers

2916 search results - page 380 / 584
» Generating Rule Sets from Model Trees
Sort
View
CAV
2008
Springer
161views Hardware» more  CAV 2008»
15 years 7 months ago
Constraint-Based Approach for Analysis of Hybrid Systems
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
Sumit Gulwani, Ashish Tiwari
ICDE
2008
IEEE
120views Database» more  ICDE 2008»
16 years 6 months ago
Direct Discriminative Pattern Mining for Effective Classification
The application of frequent patterns in classification has demonstrated its power in recent studies. It often adopts a two-step approach: frequent pattern (or classification rule) ...
Hong Cheng, Xifeng Yan, Jiawei Han, Philip S. Yu
AVBPA
2001
Springer
114views Biometrics» more  AVBPA 2001»
15 years 9 months ago
Speaker Discriminative Weighting Method for VQ-Based Speaker Identification
: We consider the matching function in vector quantization based speaker identification system. The model of a speaker is a codebook generated from the set of feature vectors from ...
Tomi Kinnunen, Pasi Fränti
143
Voted
CIARP
2004
Springer
15 years 10 months ago
Use of Context in Automatic Annotation of Sports Videos
The interpretation by a human of a scene in video material is heavily influenced by the context of the scene. As a result, researchers have recently made more use of context in th...
Ilias Kolonias, William J. Christmas, Josef Kittle...
CAV
1993
Springer
127views Hardware» more  CAV 1993»
15 years 9 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...