4609 search results - page 545 / 922 » Automatic Generation of Sigma-Protocols |
218
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a novel method for recovering the 3D-line structure of a scene from multiple widely separated views. Traditional optimization-based approaches to line-based structure f...
143
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
—Automatic illicit drug pill matching and retrieval is becoming an important problem due to an increase in the number of tablet type illicit drugs being circulated in our society...
178
click to vote
DASFAA
2004
IEEE
15 years 10 months ago
2004
IEEE
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow intelligent agents to automatically identify these Web...
192
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
167
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...