Sciweavers

310 search results - page 44 / 62
» A General Technique for Plan Repair
Sort
View
IJCAI
2003
13 years 8 months ago
Backdoors To Typical Case Complexity
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
Ryan Williams, Carla P. Gomes, Bart Selman
ICIP
2009
IEEE
14 years 8 months ago
Circular Blurred Shape Model For Symbol Spotting In Documents
Symbol spotting problem requires feature extraction strategies able to generalize from training samples and to localize the target object while discarding most part of the image. ...
CHI
2009
ACM
14 years 8 months ago
Wetpaint: scraping through multi-layered images
We introduce a technique for exploring multi-layered images by scraping arbitrary areas to determine meaningful relationships. Our system, called Wetpaint, uses perceptual depth c...
Hiroshi Ishii, Jürgen P. Schulze, Leonardo Bo...
MIDDLEWARE
2004
Springer
14 years 26 days ago
Mobile adaptive tasks guided by resource contracts
This paper proposes a way to realize the idea of calm computing by adding a dynamic task model into the pervasive computing environment. This task model contains information about...
Peter Rigole, Yolande Berbers, Tom Holvoet
EUROSYS
2009
ACM
14 years 4 months ago
Predicting replicated database scalability from standalone database profiling
This paper develops analytical models to predict the throughput and the response time of a replicated database using measurements of the workload on a standalone database. These m...
Sameh Elnikety, Steven G. Dropsho, Emmanuel Cecche...