7766 search results - page 427 / 1554 » Testing Nondeterminate Systems |
149
click to vote
IFL
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...
169
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a method for detecting automobiles and people in streaming or archived video. Our video object tracking system is based on Kalman filter updating of an active...
155
Voted
ISMIS
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Our unique approach for learning English grapheme segmentation (LE-GS) rules using the Iterated Version Space Algorithm (IVSA) is presented. After de ning the problem and...
182
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
204
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...