Sciweavers

1354 search results - page 86 / 271
» Discovery Systems in Ubiquitous Computing
Sort
View
PDCAT
2004
Springer
15 years 3 months ago
UbiqStor: A Remote Storage Service for Mobile Devices
In Ubiquitous computing environment the mobile devices such as PDAs necessarily connect to remote storage servers. We present an iSCSI caching system that localizes iSCSI target to...
MinHwan Ok, Daegeun Kim, Myong-Soon Park
CHI
1999
ACM
15 years 2 months ago
TouchCounters: Designing Interactive Electronic Labels for Physical Containers
We present TouchCounters, an integrated system of electronic modules, physical storage containers, and shelving surfaces for the support of collaborative physical work. Through ph...
Paul Yarin, Hiroshi Ishii
IEAAIE
2011
Springer
14 years 1 months ago
An Agent Model for Computational Analysis of Mirroring Dysfunctioning in Autism Spectrum Disorders
Persons with an Autism Spectrum Disorder (ASD) may show certain types of deviations in social functioning. Since the discovery of mirror neuron systems and their role in social fun...
Yara van der Laan, Jan Treur
NFM
2011
303views Formal Methods» more  NFM 2011»
14 years 4 months ago
Instantiation-Based Invariant Discovery
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
Temesghen Kahsai, Yeting Ge, Cesare Tinelli
CSB
2003
IEEE
135views Bioinformatics» more  CSB 2003»
15 years 3 months ago
Stepping Up the Pace of Discovery: the Genomes to Life Program
Genomes to Life (GTL), the U.S. Department of Energy Office of Science’s systems biology program, focuses on environmental microbiology. Over the next 10 to 20 years, GTL’s ke...
Marvin Frazier, David Thomassen, Aristides Patrino...