Sciweavers

3417 search results - page 68 / 684
» Visualizing Partial Evaluation
Sort
View
127
Voted
PRICAI
2010
Springer
15 years 1 months ago
Partial Weighted MaxSAT for Optimal Planning
Abstract. We consider the problem of computing optimal plans for propositional planning problems with action costs. In the spirit of leveraging advances in general-purpose automate...
Nathan Robinson, Charles Gretton, Duc Nghia Pham, ...
146
Voted
PE
2011
Springer
266views Optimization» more  PE 2011»
14 years 9 months ago
Lumping partially symmetrical stochastic models
Performance and dependability evaluation of complex systems by means of dynamic stochastic models (e.g. Markov chains) may be impaired by the combinatorial explosion of their stat...
Souheib Baarir, Marco Beccuti, Claude Dutheillet, ...
CIARP
2009
Springer
15 years 9 months ago
Dealing with Inaccurate Face Detection for Automatic Gender Recognition with Partially Occluded Faces
Abstract. Gender recognition problem has not been extensively studied in situations where the face cannot be accurately detected and it also can be partially occluded. In this cont...
Yasmina Andreu, Pedro García-Sevilla, Ram&o...
108
Voted
ICCAD
2006
IEEE
146views Hardware» more  ICCAD 2006»
15 years 8 months ago
Cost-aware synthesis of asynchronous circuits based on partial acknowledgement
Designing asynchronous circuits by reusing existing synchronous tools has become a promising solution to the problem of poor CAD support in asynchronous world. A straightforward w...
Yu Zhou, Danil Sokolov, Alexandre Yakovlev
CHI
2009
ACM
16 years 3 months ago
Evaluating existing audio CAPTCHAs and an interface optimized for non-visual use
Audio CAPTCHAs were introduced as an accessible alternative for those unable to use the more common visual CAPTCHAs, but anecdotal accounts have suggested that they may be more di...
Jeffrey P. Bigham, Anna Cavender