3856 search results - page 690 / 772 » Models for Automated Earthmoving |
147
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
116
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Automated visual tracking of cells from video microscopy has many important biomedical applications. In this paper, we model the problem of cell tracking over pairs of video micro...
153
click to vote
FLAIRS
2008
15 years 6 months ago
2008
The problem of recognizing textual entailment (RTE) has been recently addressed using syntactic and lexical models with some success. Here, we further explore this problem, this t...
225
Voted
ACMSE
2008
ACM
15 years 5 months ago
2008
ACM
Biometrics is an emerging field via the automated use of unique and measurable physiological or behavioral characteristics to determine or verify identity. Biometrics has a variet...
139
click to vote
MMB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...