1485 search results - page 153 / 297 » Whole Program Paths |
143
Voted
IV
2010
IEEE
15 years 6 days ago
2010
IEEE
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...
161
click to vote
ICLA
2011
Springer
14 years 5 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
107
Voted
ICIP
1994
IEEE
16 years 3 months ago
1994
IEEE
It has been shown that the computation time of Document Image Decoding can be significantly reduced by employing heuristics in the search for the best decoding of a text line. In ...
111
click to vote
ICML
2003
IEEE
16 years 3 months ago
2003
IEEE
We investigate methods for planning in a Markov Decision Process where the cost function is chosen by an adversary after we fix our policy. As a running example, we consider a rob...
107
Voted
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
The increasing popularity of social networks has initiated a fertile research area in information extraction and data mining. Although such analysis can facilitate better understan...