7335 search results - page 1032 / 1467 » Scene Based Reasoning |
158
click to vote
DIAGRAMS
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the evaluation of ERST, an adaptive system which is designed to improve its users' external representation (ER) selection accuracy on a range of database ...
194
click to vote
EDBT
2006
ACM
15 years 10 months ago
2006
ACM
As data management applications grow more complex, they may need efficient distributed query processing, but also subscription management, data archival etc. To enact such applicat...
190
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...
216
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
166
click to vote
CEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Most embedded systemshave tightconstraints on power consumption because the amonnt of power available to these systems is limited due to the limitation ofbattery life. For this rea...