19798 search results - page 622 / 3960 » Is Structural Subtyping Useful |
148
click to vote
ICCD
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
123
click to vote
ICAIL
1999
ACM
15 years 9 months ago
1999
ACM
More and more legal information is available in electronic form, but traditional retrieval mechanisms are insufficient to answer questions and legal problems of most users. In the...
146
click to vote
EMMCVPR
1999
Springer
15 years 9 months ago
1999
Springer
The paper presents a new approach to recovering the 3D rigid shape of rigid objects from a 2D image sequence. The method has two distinguishing features: it exploits the rigidity o...
140
click to vote
INFOCOM
1997
IEEE
15 years 9 months ago
1997
IEEE
We propose a new bandwidth allocation scheme for VBR video tra c in ATM networks. The scheme is tailored to MPEG-coded video sources that require stringent and deterministic quali...
143
click to vote
CANDT
2009
15 years 9 months ago
2009
We present findings from our study of a music sharing and remixing community in an effort to quantify and understand the structural characteristics of commons-based peer productio...