2819 search results - page 311 / 564 » Automatic Structures |
179
click to vote
ECCV
1996
Springer
16 years 9 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...
160
click to vote
ESOP
2007
Springer
16 years 1 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...
198
Voted
IJCNLP
2005
Springer
16 years 18 days 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...
176
click to vote
DAC
1997
ACM
15 years 11 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...
189
click to vote
INFOVIS
2005
IEEE
16 years 21 days 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....