3317 search results - page 420 / 664 » Strategies in Rigid-Variable Methods |
198
click to vote
SIGIR
2005
ACM
16 years 8 days 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...
153
click to vote
AIRS
2005
Springer
16 years 7 days ago
2005
Springer
Topic distillation is one of the main information needs when users search the Web. In previous approaches to topic distillation, the single page was treated as the basic searching ...
172
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
172
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We examine whether and how the Multiagent Plan Coordination Problem, the problem of resolving interactions between the plans of multiple agents, can be cast as a Distributed Const...
170
click to vote
CHARME
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...