1547 search results - page 120 / 310 » Randomized Variable Elimination |
124
Voted
VLSID
2004
IEEE
16 years 3 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...
140
Voted
FASE
2009
Springer
15 years 10 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...
157
Voted
IPMI
2009
Springer
15 years 10 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...
103
Voted
CIE
2009
Springer
15 years 10 months 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...
116
Voted
SAT
2009
Springer
15 years 10 months 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...