Sciweavers

346 search results - page 57 / 70
» Assessing the Completeness of Sensor Data
Sort
View
VIS
2009
IEEE
191views Visualization» more  VIS 2009»
15 years 10 months ago
Parameter Sensitivity Visualization in DTI Fiber Tracking
Fiber tracking of Diffusion Tensor Imaging (DTI) data offers a unique insight into the three-dimensional organisation of white matter structures in the living brain. However, fiber...
Ralph Brecheisen, Bram Platel, Anna Vilanova, B...
DSN
2005
IEEE
15 years 3 months ago
Testing the Dependability and Performance of Group Communication Based Database Replication Protocols
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
A. Sousa, José Pereira, L. Soares, Alfr&aci...
HICSS
2011
IEEE
264views Biometrics» more  HICSS 2011»
14 years 1 months ago
The Kukui Cup: A Dorm Energy Competition Focused on Sustainable Behavior Change and Energy Literacy
Abstract—The Kukui Cup is an advanced dorm energy competition whose goal is to investigate the relationships among energy literacy, sustained energy conservation, and information...
Robert S. Brewer, George E. Lee, Philip M. Johnson
ISER
1993
Springer
141views Robotics» more  ISER 1993»
15 years 1 months ago
Experimental Integration of Planning in a Distributed Control System
This paper describes a complete system architecture integrating planning into a two-armed robotic workcell. The system is comprised of four major components: user interface, plann...
Gerardo Pardo-Castellote, Tsai-Yen Li, Yoshihito K...
ENTCS
2007
178views more  ENTCS 2007»
14 years 9 months ago
Recent Advances in Real-Time Maude
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
Peter Csaba Ölveczky, José Meseguer