7623 search results - page 453 / 1525 » Constructive Volume Modeling |
172
click to vote
COLING
2000
15 years 8 months ago
2000
Systems now exist which are able to con:pile unification gralmnars into language models that can be included in a speech recognizer, but it is so far unclear whether non-trivial l...
171
click to vote
IJCAI
1997
15 years 8 months ago
1997
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
232
click to vote
ASIAN
2009
Springer
15 years 8 months ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
148
click to vote
AROBOTS
2008
15 years 6 months ago
2008
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...
167
click to vote
TIT
2008
15 years 6 months ago
2008
An extractor is a function that is used to extract randomness. Given an imperfect random source X and a uniform seed Y , the output (X; Y ) is close to uniform. We study properties...