2819 search results - page 311 / 564 » Automatic Structures |
131
click to vote
ECCV
1996
Springer
16 years 5 months ago
1996
Springer
Abstract. We describe a method for determining a ne and metric calibration of a camera with unchanging internal parameters undergoing planar motion. It is shown that a ne calibrati...
109
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
134
click to vote
IJCNLP
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a supervised approach for relation extraction. We apply Support Vector Machines to detect and classify the relations in Automatic Content Extraction (ACE) corpu...
121
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
This paper presents a verification technique which is specifically targeted to formally comparing large combinational circuits with some structural similarities. The approach co...
125
click to vote
INFOVIS
2005
IEEE
15 years 9 months ago
2005
IEEE
Recent years have witnessed the dramatic popularity of online social networking services, in which millions of members publicly articulate mutual "friendship" relations....