Sciweavers

571 search results - page 41 / 115
» Context Proceduralization in Decision Making
Sort
View
EMO
2009
Springer
174views Optimization» more  EMO 2009»
15 years 6 months ago
Constraint Programming
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
Pascal Van Hentenryck
SIGMOD
2004
ACM
114views Database» more  SIGMOD 2004»
16 years 6 hour ago
An initial study of overheads of eddies
An eddy [2] is a highly adaptive query processing operator that continuously reoptimizes a query in response to changing runtime conditions. It does this by treating query process...
Amol Deshpande
FOCS
1989
IEEE
15 years 3 months ago
A Really Temporal Logic
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
Rajeev Alur, Thomas A. Henzinger
AMAI
2007
Springer
14 years 12 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans
EMNLP
2009
14 years 9 months ago
Person Cross Document Coreference with Name Perplexity Estimates
The Person Cross Document Coreference systems depend on the context for making decisions on the possible coreferences between person name mentions. The amount of context required ...
Octavian Popescu