42738 search results - page 8317 / 8548 » Search Computing Systems |
123
click to vote
DAC
1996
ACM
15 years 7 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...
162
Voted
TLCA
1997
Springer
15 years 7 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 ...
119
Voted
VLDB
1997
ACM
15 years 7 months ago
1997
ACM
The current integrated developments in network and computing give rise to a technical infrastructure for the information society which one may variously circumscribe by terms such...
162
Voted
CVPR
2010
IEEE
15 years 7 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...
139
Voted
ICDT
2010
ACM
15 years 7 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 ...