39362 search results - page 7629 / 7873 » Global Computing Systems |
167
click to vote
CVRMED
1997
Springer
15 years 10 months ago
1997
Springer
The majority of the available rigid registration measures are based on a 2-dimensional histogram of corresponding grey-values in the registered images. This paper shows that these ...
163
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
1- A methodology is presented in this paper for determining an optimal set of clock path delays for designing high performance VLSI/ULSI-based clock distribution networks. This met...
205
click to vote
TLCA
1997
Springer
15 years 10 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...
204
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
The automatic detection of lung nodules attached to other pulmonary structures is a useful yet challenging task in lung CAD systems. In this paper, we propose a stratified statist...
177
click to vote
ICDT
2010
ACM
15 years 10 months ago
2010
ACM
Relational data exchange deals with translating a relational database instance over some source schema into a relational database instance over some target schema, according to a ...