Sciweavers

4914 search results - page 145 / 983
» Mobility of Data in Distributed Hybrid Computing Systems
Sort
View
CAV
2006
Springer
86views Hardware» more  CAV 2006»
15 years 8 months ago
The Power of Hybrid Acceleration
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
Bernard Boigelot, Frédéric Herbretea...
CSCW
2002
ACM
15 years 4 months ago
Voice-mail diary studies for naturalistic data capture under mobile conditions
Mobile technology requires new methods for studying its use under realistic conditions "in the field." Reflexively, mobile technology also creates new opportunities for ...
Leysia Palen, Marilyn C. Salzman
KI
2007
Springer
15 years 4 months ago
Modeling Human-Level Intelligence by Integrated Cognition in a Hybrid Architecture
Various forms of reasoning, the profusion of knowledge, the gap between neuro-inspired approaches and conceptual representations, the problem of inconsistent data input, and the ma...
Kai-Uwe Kühnberger, Tonio Wandmacher, Angela ...
HIS
2008
15 years 6 months ago
Diagnosing Patients Combining Principal Components Analysis and Case Based Reasoning
This paper addresses the application of a PCA analysis on categorical data prior to diagnose a patients data set using a Case-Based Reasoning (CBR) system. The particularity is th...
Carles Pous, Dani Caballero, Beatriz López
AINA
2008
IEEE
15 years 11 months ago
Opportunistic Data Dissemination Using Real-World User Mobility Traces
— Opportunistic communication allows humans equipped with mobile devices to exchange information via a wireless link whenever they are nearby. This work examines the performance ...
Andreas Heinemann, Jussi Kangasharju, Max Müh...