Sciweavers

893 search results - page 149 / 179
» Environment Assumptions for Synthesis
Sort
View
EWCBR
2008
Springer
13 years 9 months ago
Real-Time Plan Adaptation for Case-Based Planning in Real-Time Strategy Games
Abstract. Case-based planning (CBP) is based on reusing past successful plans for solving new problems. CBP is particularly useful in environments where the large amount of time re...
Neha Sugandh, Santiago Ontañón, Ashw...
AMW
2010
13 years 9 months ago
Certification and Authentication of Data Structures
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
Roberto Tamassia, Nikos Triandopoulos
DPHOTO
2010
360views Hardware» more  DPHOTO 2010»
13 years 9 months ago
Signal-dependent raw image denoising using sensor noise characterization via multiple acquisitions
Accurate noise level estimation is essential to assure good performance of noise reduction filters. Noise contaminating raw images is typically modeled as additive white and Gauss...
Angelo Bosco, Arcangelo Bruna, D. Giacalone, Sebas...
INTERACT
2007
13 years 9 months ago
Meta-design: Expanding Boundaries and Redistributing Control in Design
Meta-design is an emerging conceptual framework aimed at defining and creating socio-technical environments as living entities. It extends existing design methodologies focused on ...
Gerhard Fischer
NIPS
2008
13 years 9 months ago
An Online Algorithm for Maximizing Submodular Functions
We present an algorithm for solving a broad class of online resource allocation . Our online algorithm can be applied in environments where abstract jobs arrive one at a time, and...
Matthew J. Streeter, Daniel Golovin