Sciweavers

2800 search results - page 197 / 560
» Fibrational Control Structures
Sort
View
KI
2008
Springer
15 years 4 months ago
High-Level Expectations for Low-Level Image Processing
Abstract. Scene interpretation systems are often conceived as extensions of low-level image analysis with bottom-up processing for high-level interpretations. In this contribution ...
Lothar Hotz, Bernd Neumann, Kasim Terzic
JBI
2002
100views Bioinformatics» more  JBI 2002»
15 years 4 months ago
Representations of health concepts: a cognitive perspective
This paper discusses the differences between controlled medical vocabularies that are designed as external artifacts and the mental concepts that are inside users' heads and ...
Jiajie Zhang
HYBRID
2010
Springer
15 years 2 months ago
Timed I/O automata: a complete specification theory for real-time systems
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
Alexandre David, Kim G. Larsen, Axel Legay, Ulrik ...
135
Voted
PODS
2002
ACM
154views Database» more  PODS 2002»
16 years 4 months ago
How to Evaluate Multiple Range-Sum Queries Progressively
Decision support system users typically submit batches of range-sum queries simultaneously rather than issuing individual, unrelated queries. We propose a wavelet based technique ...
Rolfe R. Schmidt, Cyrus Shahabi
SECURWARE
2008
IEEE
15 years 11 months ago
Enhancing Trusted Platform Modules with Hardware-Based Virtualization Techniques
—We present the design of a trusted platform module (TPM) that supports hardware-based virtualization techniques. Our approach enables multiple virtual machines to use the comple...
Frederic Stumpf, Claudia Eckert