1724 search results - page 231 / 345 » Abstract Interpreters for Free |
165
click to vote
JCIT
2010
15 years 1 months ago
2010
As a new paradigm for data warehousing demanded by today's decision support community, DW 2.0 recognized the life cycle of data with it, that make metadata evolution mechanis...
316
click to vote
AMW
2011
14 years 10 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
200
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
140
click to vote
JOCN
2010
15 years 4 months ago
2010
■ Empirical investigations of the relation of frontal lobe function evaluation have mostly examined the evaluation of abstract qualities in relation to self versus other people....
173
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We formulate a robust method using Expectation Maximization (EM) to address the problem of dense photometric stereo. Previous approaches using Markov Random Fields (MRF) ...