Sciweavers

34229 search results - page 203 / 6846
» Power-aware computing systems
Sort
View
ASAP
2004
IEEE
115views Hardware» more  ASAP 2004»
15 years 7 months ago
Design of the QBIC Wearable Computing Platform
Wearable computing systems can be broadly defined as mobile electronic devices that can be unobtrusively embedded in a user's outfit as part of the garment or an accessory. U...
Oliver Amft, Michael Lauffer, Stijn Ossevoort, Fab...
CC
2005
Springer
103views System Software» more  CC 2005»
15 years 3 months ago
Valiant's model and the cost of computing integers
Let (n) be the minimum number of arithmetic operations required to build the integer n N from the constants 1 and 2. A sequence xn is said to be "easy to compute" if the...
Pascal Koiran
144
Voted
CONCUR
2001
Springer
15 years 8 months ago
Symbolic Computation of Maximal Probabilistic Reachability
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...
STOC
1995
ACM
126views Algorithms» more  STOC 1995»
15 years 7 months ago
A computational view of population genetics
This paper contributes tothe study of nonlinear dynamical systems from a computational perspective. These systems are inherently more powerful than their linear counterparts (such...
Yuval Rabani, Yuri Rabinovich, Alistair Sinclair
157
Voted
AVBPA
2005
Springer
228views Biometrics» more  AVBPA 2005»
15 years 9 months ago
Between-Source Modelling for Likelihood Ratio Computation in Forensic Biometric Recognition
Abstract. In this paper, the use of biometric systems in forensic applications is reviewed. Main differences between the aim of commercial biometric systems and forensic reporting...
Daniel Ramos-Castro, Joaquin Gonzalez-Rodriguez, C...