3571 search results - page 452 / 715 » Cohen and Set Theory |
161
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
Recovery can be extended to new domains at reduced logging cost by exploiting "logical" log operations. During recovery, a logical log operation may read data values fro...
165
click to vote
APN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...
161
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper proposes an account of the acquisition of grammatical relations using the basic concepts of connectionism and a construction-based theory of grammar. Many prev...
151
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
Based Automatic Abstraction for CTL Model Checking Woohyuk Lee Abelardo Pardo Jae-Young Jang Gary Hachtel Fabio Somenzi University of Colorado ECEN Campus Box 425 Boulder, CO, 8030...
212
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Critiquing techniques provide an easy way for users to feedback their preferences over one or several attributes of the products in a conversational recommender system. W...