Sciweavers

1310 search results - page 46 / 262
» Parameterized Partial Evaluation
Sort
View
PRICAI
2010
Springer
15 years 4 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, ...
PE
2011
Springer
266views Optimization» more  PE 2011»
15 years 24 days 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, ...
173
Voted
CIARP
2009
Springer
16 years 13 days 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...
ICCAD
2006
IEEE
146views Hardware» more  ICCAD 2006»
15 years 12 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
170
Voted
AVSS
2009
IEEE
16 years 20 days ago
Trajectory Association and Fusion across Partially Overlapping Cameras
We present a novel unsupervised inter-camera trajectory correspondence algorithm that does not require prior knowledge of the camera placement. The approach consists of three step...
Nadeem Anjum, Andrea Cavallaro