1127 search results - page 191 / 226 » Theory Extension in ACL2(r) |
154
click to vote
ASIACRYPT
2006
Springer
15 years 9 months ago
2006
Springer
Pseudorandom Generators (PRGs) based on the RSA inversion (one-wayness) problem have been extensively studied in the literature over the last 25 years. These generators have the a...
149
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
205
click to vote
RSCTC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
183
click to vote
NIL
1991
15 years 9 months ago
1991
In this paper we consider supernormal defaults [Poo88] with a strict partial order defining their priorities [Bre91]. We investigate their relation to minimal or preferential ent...
141
click to vote
AAAI
2008
15 years 8 months ago
2008
How can we facilitate human-robot teamwork? The teamwork literature has identified the need to know the capabilities of teammates. How can we integrate the knowledge of another ag...