717 search results - page 98 / 144 » Establishing relationships for designing rural information s... |
105
click to vote
VSTTE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
104
click to vote
AIS
2004
Springer
15 years 4 months ago
2004
Springer
This project implements an integrated biological information website that classifies technical documents, learns about users' interests, and offers intuitive interactive visua...
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
We study the problem of distributed control of a large network of double-integrator agents to maintain a rigid formation. A few lead vehicles are given information on the desired t...
80
Voted
CHI
2007
ACM
15 years 11 months ago
2007
ACM
Museums increasingly deploy new technologies to enhance visitors' experience of their exhibitions. They primarily rely on touch-screen computer systems, PDAs and digital audi...
117
click to vote
SIGMOD
2011
ACM
14 years 1 months ago
2011
ACM
Probabilistic database systems have successfully established themselves as a tool for managing uncertain data. However, much of the research in this area has focused on efficient...