Sciweavers

4516 search results - page 328 / 904
» Data Structures in the Design of Interfaces
Sort
View
IFIPTCS
2000
15 years 10 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
SISAP
2009
IEEE
134views Data Mining» more  SISAP 2009»
16 years 1 months ago
EGNAT: A Fully Dynamic Metric Access Method for Secondary Memory
—We introduce a novel metric space search data structure called EGNAT, which is fully dynamic and designed for secondary memory. The EGNAT is based on Brin’s GNAT static index,...
Roberto Uribe Paredes, Gonzalo Navarro
MAICS
2003
15 years 8 months ago
Representing Symbolic Reasoning
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
Brian E. Mastenbrook, Eric G. Berkowitz
CHI
2004
ACM
16 years 7 months ago
Breaking the book: translating the chemistry lab book into a pervasive computing lab environment
The UK e-Science programme is relying on the evolution of the paper lab book into a pervasive data gathering lab system. To date take up of existing commercial or research lab boo...
Monica M. C. Schraefel, Gareth V. Hughes, Hugo R. ...
DEXAW
2008
IEEE
131views Database» more  DEXAW 2008»
16 years 1 months ago
FleXplorer: A Framework for Providing Faceted and Dynamic Taxonomy-Based Information Exploration
Faceted and dynamic taxonomies are increasingly used nowadays in a plethora of applications. For developing user interfaces grounded on this interaction paradigm, it is advantageo...
Yannis Tzitzikas, Nikos Armenatzoglou, Panagiotis ...