4708 search results - page 681 / 942 » Generating the Structure of Argument |
250
click to vote
GIS
2008
ACM
16 years 6 months ago
2008
ACM
Network data models are widely used to describe the connectivity between spatial features in GIS architectures. Recent applications demand that such models are editable in multius...
152
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
165
click to vote
DAC
2001
ACM
16 years 6 months ago
2001
ACM
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
135
click to vote
MICCAI
2007
Springer
16 years 6 months ago
2007
Springer
The main goal of this work was to assess the accuracy of several well-known methods which provide global (BSI and SIENA) or local (Jacobian integration) estimates of longitudinal a...
176
click to vote
MICCAI
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. With the increasing capability of MR imaging and Computational Fluid Dynamics (CFD) techniques, a significant amount of data related to the haemodynamics of the cardiovas...