1546 search results - page 184 / 310 » Context-Aware Computing with Sound |
195
click to vote
DBPL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We address a fundamental question concerning spatio-temporal database systems: “What are exactly spatio-temporal queries?” We define spatio-temporal queries to be co...
161
click to vote
ECBS
2000
IEEE
15 years 10 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
157
click to vote
CHI
2000
ACM
15 years 10 months ago
2000
ACM
Despite the increasing number of new devices entering the market allowing the capture or recording of information (whether it be marks on paper, scene, sound or moving images), th...
160
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
194
click to vote
FLOPS
1999
Springer
15 years 10 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...