Sciweavers

1068 search results - page 72 / 214
» For completeness, sublogarithmic space is no space
Sort
View
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 1 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
IUI
1999
ACM
14 years 1 months ago
Evaluating Adaptive Navigation Support
From the few evaluations of adaptive navigation systems that have been performed, we see an emerging pattern where depending upon the domain, only certain types of adaptive naviga...
Kristina Höök, Martin Svensson
FGR
2004
IEEE
193views Biometrics» more  FGR 2004»
14 years 14 days ago
Face Recognition Using Ada-Boosted Gabor Features
Face representation based on Gabor features has attracted much attention and achieved great success in face recognition area for the advantages of the Gabor features. However, Gab...
Peng Yang, Shiguang Shan, Wen Gao, Stan Z. Li, Don...
EMO
2006
Springer
158views Optimization» more  EMO 2006»
14 years 12 days ago
The Hypervolume Indicator Revisited: On the Design of Pareto-compliant Indicators Via Weighted Integration
The design of quality measures for approximations of the Pareto-optimal set is of high importance not only for the performance assessment, but also for the construction of multiobj...
Eckart Zitzler, Dimo Brockhoff, Lothar Thiele
ICTAI
2000
IEEE
14 years 10 days ago
Building efficient partial plans using Markov decision processes
Markov Decision Processes (MDP) have been widely used as a framework for planning under uncertainty. They allow to compute optimal sequences of actions in order to achieve a given...
Pierre Laroche