761 search results - page 104 / 153 » A Reactive Approach to Explanation |
174
click to vote
ICDE
2012
IEEE
13 years 2 months ago
2012
IEEE
Abstract—After decades of effort working on database performance, the quality and the usability of database systems have received more attention in recent years. In particular, t...
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper considers the remote interactive browsing of large JPEG2000 images. In contrast with previous contributions, we focus on the dynamic nature of the system. Practically, ...
DAC
1998
ACM
16 years 25 days ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
CCS
2009
ACM
15 years 6 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— This paper describes an investigation into the adaptive control of autonomous mobile sensor platforms for providing oceanographic sampling. Mobile sensor platforms prov...