2293 search results - page 165 / 459 » Temporal Logic in Information Systems |
203
click to vote
AAAI
2000
15 years 8 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
185
Voted
PPOPP
2003
ACM
16 years 1 days ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...
164
click to vote
SIGMETRICS
1997
ACM
15 years 11 months ago
1997
ACM
Informed prefetching and caching based on application disclosure of future I/O accesses (hints) can dramatically reduce the execution time of I/O-intensive applications. A recent ...
200
click to vote
FGR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper proposes a state based approach to gesture learning and recognition. Using spatial clustering and temporal alignment, each gesture is defined to be an ordered sequence ...
151
click to vote
EHCI
2001
15 years 8 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...