2488 search results - page 187 / 498 » An improvement in formal verification |
104
click to vote
FLAIRS
2004
15 years 2 months ago
2004
Intra- and inter-speaker information, which include acoustical, speaker style, speech rate and temporal variation, despite their critical importance for the verification of claims...
100
click to vote
CLEIEJ
2010
14 years 10 months ago
2010
Formalizing and institutionalizing software processes has become a necessity in recent years requiring the management and enhancement of software production and, at the same time,...
138
click to vote
ESWS
2010
Springer
14 years 12 months ago
2010
Springer
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...
139
click to vote
CVPR
2009
IEEE
16 years 8 months ago
2009
IEEE
Face verification has many potential applications including
filtering and ranking image/video search results on
celebrities. Since these images/videos are taken under uncontrolle...
214
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...