3006 search results - page 475 / 602 » Dimensionality reduction and generalization |
187
click to vote
SIGIR
2005
ACM
16 years 14 hour ago
2005
ACM
We demonstrate a phonotactic-semantic paradigm for spoken document categorization. In this framework, we define a set of acoustic words instead of lexical words to represent acous...
222
click to vote
WCFLP
2005
ACM
16 years 13 hour ago
2005
ACM
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
176
click to vote
CAV
2005
Springer
16 years 2 hour ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
196
click to vote
CSL
2005
Springer
15 years 12 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
166
click to vote
EPIA
2005
Springer
15 years 12 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...