15840 search results - page 2911 / 3168 » The Control of Synchronous Systems |
189
click to vote
KDD
1998
ACM
15 years 10 months ago
1998
ACM
1 The number and the size of spatial databases, e.g. for geomarketing, traffic control or environmental studies, are rapidly growing which results in an increasing need for spatial...
190
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
162
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
168
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
172
click to vote
ACMDIS
1997
ACM
15 years 10 months ago
1997
ACM
Human-computer interaction is multidisciplinary, drawing paradigms and techniques from both the natural sciences and the design disciplines. HCI cannot be considered a pure natura...