6960 search results - page 264 / 1392 » Continuity Analysis of Programs |
118
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper introduces a new algorithm for solving a subclass of quantified constraint satisfaction problems (QCSP) where existential quantifiers precede universally quantified ine...
112
click to vote
CSDA
2008
15 years 4 months ago
2008
Semi-continuous data arise in many applications where naturally-continuous data become contaminated by the data generating mechanism. The resulting data contain several values tha...
123
click to vote
EOR
2008
15 years 4 months ago
2008
Mixtures of truncated exponentials (MTE) potentials are an alternative to discretization for representing continuous chance variables in influence diagrams. Also, MTE potentials c...
103
Voted
SYNTHESE
2008
15 years 3 months ago
2008
Sydney Shoemaker leads today's "neo-Lockean" liberation of persons from the conservative animalist charge of "neo-Aristotelians" such as Eric Olson, accord...
137
click to vote
USENIX
2008
15 years 6 months ago
2008
Continuous memory leaks severely hurt program performance and software availability for garbage-collected programs. This paper presents a safe method, called LeakSurvivor, to tole...