Sciweavers

10285 search results - page 1662 / 2057
» Composing Feature Models
Sort
View
AAAI
1994
15 years 8 months ago
Control Strategies for a Stochastic Planner
We present new algorithms for local planning over Markov decision processes. The base-level algorithm possesses several interesting features for control of computation, based on s...
Jonathan Tash, Stuart J. Russell
BIS
2009
107views Business» more  BIS 2009»
15 years 8 months ago
Framework for Value Prediction of Knowledge-Based Applications
Knowledge-based applications are characterized by their use of machine-understandable formalizations of expert knowledge. Complex knowledge structures, and the features which explo...
Ali Imtiaz, Tobias Bürger, Igor O. Popov, Ele...
BIRTHDAY
2010
Springer
15 years 8 months ago
DKAL and Z3: A Logic Embedding Experiment
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
Sergio Mera, Nikolaj Bjørner
CIDR
2009
157views Algorithms» more  CIDR 2009»
15 years 8 months ago
SCADS: Scale-Independent Storage for Social Computing Applications
Collaborative web applications such as Facebook, Flickr and Yelp present new challenges for storing and querying large amounts of data. As users and developers are focused more on...
Michael Armbrust, Armando Fox, David A. Patterson,...
ICMCS
2010
IEEE
849views Multimedia» more  ICMCS 2010»
15 years 7 months ago
High Dynamic Range image tone mapping based on local Histogram Equalization
High Dynamic Range (HDR) images can represent the acquired scene with a greater dynamic range of luminance than classical Low Dynamic Range (LDR) ones. Despite the recent diffusio...
Alberto Boschetti, Nicola Adami, Riccardo Leonardi...
« Prev « First page 1662 / 2057 Last » Next »