1992 search results - page 195 / 399 » On the (limited) power of non-equivocation |
141
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...
208
click to vote
WCE
2007
15 years 7 months ago
2007
— In this paper a new-generation integral motor-drive has been demonstrated. It proposes a compact unit built to operate in arduous industrial environments with optimized power c...
171
click to vote
AI
2010
Springer
15 years 6 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
163
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
This paper addresses robust deconvolution filtering when the system and noise dynamics are obtained by parametric system identification. Consistent with standard identification me...
148
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We study the power of nonadaptive quantum query algorithms, which are algorithms whose queries to the input do not depend on the result of previous queries. First, we show that an...