1176 search results - page 99 / 236 » Theory and Applications of Robust Optimization |
172
click to vote
SIGSOFT
2006
ACM
16 years 11 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
144
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we discuss the use of Targeted Trajectory Distribution Markov Decision Processes (TTD-MDPs)—a variant of MDPs in which the goal is to realize a specified distrib...
171
click to vote
NIPS
2007
15 years 7 months ago
2007
It is becoming increasingly evident that organisms acting in uncertain dynamical environments often employ exact or approximate Bayesian statistical calculations in order to conti...
272
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Views over probabilistic data contain correlations between tuples, and the current approach is to capture these correlations using explicit lineage. In this paper we propose an al...
271
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Text is ubiquitous and, not surprisingly, many important applications rely on textual data for a variety of tasks. As a notable example, information extraction applications derive...