1813 search results - page 229 / 363 » Measuring the Effectiveness of Software Testing |
103
Voted
EMNLP
2006
15 years 4 months ago
2006
NLP systems for tasks such as question answering and information extraction typically rely on statistical parsers. But the efficacy of such parsers can be surprisingly low, partic...
129
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
78
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper introduces a voltage multiplier (VM) circuit which can step up a minimum voltage of 150 mV (peak). The operation and characteristics of this converter circuit are descr...
145
Voted
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a novel human action recognition system based on segmented skeletal features which are separated into several human body parts such as face, torso and limbs. Our propos...
159
click to vote
CLEF
2007
Springer
15 years 9 months ago
2007
Springer
In participating in this CLEF evaluation campaign, our first objective is to propose and evaluate various indexing and search strategies for the Russian language, in order to obta...