3954 search results - page 249 / 791 » Image-based Model Completion |
171
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
123
click to vote
CPHYSICS
2008
15 years 6 months ago
2008
We present an application to the full ASDEX Upgrade edge plasma of a novel method for 2D fluid modeling, including for the first time a realistic representation of the First Wall....
170
click to vote
OR
2006
Springer
15 years 6 months ago
2006
Springer
Given that contractor plays a critical role in any construction project, contractor selection constitutes key decision for public authorities. Prequalification, i.e. the eliminati...
157
click to vote
PAMI
1998
15 years 6 months ago
1998
—Visualization has proven to be a powerful and widely-applicable tool for the analysis and interpretation of multivariate data. Most visualization algorithms aim to find a projec...
180
click to vote
TMI
2002
15 years 6 months ago
2002
Abstract--Activation time (AT) imaging from electrocardiographic (ECG) mapping data has been developing for several years. By coupling ECG mapping and three-dimensional (3-D) + tim...