4276 search results - page 61 / 856 » Techniques for Empirical Validation |
DELTA
2006
IEEE
15 years 6 months ago
2006
IEEE
— Design, Verification and Test of integrated circuits with millions of gates put strong requirements on design time, test volume, test application time, test speed and diagnost...
102
click to vote
CLEF
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper presents a system that applies Textual Entailment recognition techniques to the AVE task. This is performed comparing representations of text snippets by means...
DAGM
2006
Springer
15 years 3 months ago
2006
Springer
Dense depth maps can be estimated in a Bayesian sense from multiple calibrated still images of a rigid scene relative to a reference view [1]. This well-established probabilistic f...
BPM
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we demonstrate the prototype of a modelling tool that applies graph-based rules for identifying problems in business process models. The advantages of our approach a...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Designing agents whose behavior challenges human players adequately is a key issue in computer games development. This work presents a novel technique, based on reinforcement lear...