2344 search results - page 105 / 469 » Generating from a Deep Structure |
104
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
110
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
We propose a novel classification approach for automatically detecting pulmonary embolism (PE) from computedtomography-angiography images. Unlike most existing approaches that req...
116
click to vote
ECAL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This article presents the first results of a project in underwater modular robotics, called Neubots. The goals of the projects are to explore, following Von Neumann’s ...
168
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper combines a parameter generation algorithm and a model optimization approach with the model-integration-based voice conversion (MIVC). We have proposed probabilistic int...
121
click to vote
EGICE
2006
15 years 6 months ago
2006
Structural monitoring and control have been subjects of interests in structural engineering for quite some time. Structural sensing and control technologies can benefit in terms of...