Sciweavers

719 search results - page 128 / 144
» A Possible World Approach to Uncertain Relational Data
Sort
View
DATE
2005
IEEE
171views Hardware» more  DATE 2005»
14 years 2 months ago
Access Pattern-Based Code Compression for Memory-Constrained Embedded Systems
As compared to a large spectrum of performance optimizations, relatively little effort has been dedicated to optimize other aspects of embedded applications such as memory space r...
Ozcan Ozturk, Hendra Saputra, Mahmut T. Kandemir, ...
GW
2003
Springer
138views Biometrics» more  GW 2003»
14 years 1 months ago
Hand Postures Recognition in Large - Display VR Environments
Large–display environments like Reality Center or Powerwall are recent equipments used in the Virtual Reality (VR) field. In contrast to HMDs or similar displays, they allow sev...
Jean-Baptiste de la Rivière, Pascal Guitton
FM
2001
Springer
108views Formal Methods» more  FM 2001»
14 years 28 days ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
IFL
1998
Springer
139views Formal Methods» more  IFL 1998»
14 years 20 days ago
Higher Order Demand Propagation
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
Dirk Pape
ECAIW
2008
Springer
13 years 10 months ago
An Autonomous Algorithm for Generating and Merging Clinical Algorithms
Abstract. Procedural knowledge in medicine uses to come expressed as isolated sentences in Clinical Practice Guidelines (CPG) that describe how to act in front of specific health-c...
Francis Real, David Riaño