4057 search results - page 508 / 812 » Linear combination of transformations |
166
click to vote
PDCAT
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents a performance study of a nonrigid registration algorithm for investigating lung disease on clusters. Our algorithm combines two conventional acceleration techn...
164
click to vote
ASPDAC
2004
ACM
16 years 1 days ago
2004
ACM
Many important tasks in circuit design and verification can be performed in practice via reductions to Boolean Satisfiability (SAT), making SAT a fundamental EDA problem. However ...
151
click to vote
ER
2004
Springer
16 years 12 hour ago
2004
Springer
In this paper we present a model of functional access to data that, we argue, is suitable for modeling a class of data repositories characterized by functional access, such as web ...
184
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
174
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...