2012 search results - page 384 / 403 » CORAL - Control, Relations and Logic |
214
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
102
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
156
click to vote
SODA
2010
ACM
15 years 11 months ago
2010
ACM
Bidimensionality theory appears to be a powerful framework in the development of meta-algorithmic techniques. It was introduced by Demaine et al. [J. ACM 2005 ] as a tool to obtai...
117
click to vote
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
Sources of data uncertainty and imprecision are numerous. A way to handle this uncertainty is to associate probabilistic annotations to data. Many such probabilistic database mode...
150
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...