Sciweavers

2913 search results - page 443 / 583
» How Much to Copy
Sort
View
CORR
2010
Springer
147views Education» more  CORR 2010»
13 years 9 months ago
Learning Probabilistic Hierarchical Task Networks to Capture User Preferences
While much work on learning in planning focused on learning domain physics (i.e., action models), and search control knowledge, little attention has been paid towards learning use...
Nan Li, William Cushing, Subbarao Kambhampati, Sun...
CORR
2010
Springer
151views Education» more  CORR 2010»
13 years 9 months ago
Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
Zachary Snow, David Baelde, Gopalan Nadathur
CORR
2008
Springer
98views Education» more  CORR 2008»
13 years 9 months ago
Information Acquisition and Exploitation in Multichannel Wireless Networks
A wireless system with multiple channels is considered, where each channel has several transmission states. A user learns about the instantaneous state of an available channel by ...
Sudipto Guha, Kamesh Munagala, Saswati Sarkar
DKE
2008
57views more  DKE 2008»
13 years 9 months ago
On the evaluation of the decision performance of an incomplete decision table
As two classical measures, approximation accuracy and consistency degree can be extended for evaluating the decision performance of an incomplete decision table. However, when the...
Yuhua Qian, Chuangyin Dang, Jiye Liang, Haiyun Zha...
EOR
2010
120views more  EOR 2010»
13 years 9 months ago
List pricing versus dynamic pricing: Impact on the revenue risk
We consider the problem of a firm selling multiple products that consume a single resource over a finite time period. The amount of the resource is exogenously fixed. We analyze t...
Matthias Koenig, Joern Meissner