2631 search results - page 307 / 527 » A Practical Method for the Sparse Resultant |
194
click to vote
ISBI
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we evaluate three conceptually different approaches to mesh generation for deformable Finite Element Method (FEM) registration of Magnetic Resonance (MR) images of b...
173
click to vote
EDBT
2002
ACM
16 years 7 months ago
2002
ACM
Maintaining statistics on multidimensional data distributions is crucial for predicting the run-time and result size of queries and data analysis tasks with acceptable accuracy. To...
175
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
We show the underpinnings of a method for summarizing documents: it ingests a document and automatically highlights a small set of sentences that are expected to cover the differ...
171
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
205
click to vote
ASWEC
2009
IEEE
16 years 2 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...