1547 search results - page 120 / 310 » Randomized Variable Elimination |
179
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
177
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
187
click to vote
IPMI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an exploratory method for simultaneous parcellation of multisubject fMRI data into functionally coherent areas. The method is based on a solely functional repr...
148
click to vote
CIE
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Computational biomodelers adopt either of the following approaches: build rich, as complete as possible models in an effort to obtain very realistic models, or on the co...
165
click to vote
SAT
2009
Springer
16 years 27 days ago
2009
Springer
Most current propositional SAT solvers apply resolution at various stages to derive new clauses or simplify existing ones. The former happens during conflict analysis, while the l...