41 search results - page 4 / 9 » Mutually Enhancing Test Generation and Specification Inferen... |
LOPSTR
2004
Springer
14 years 22 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
JIPS
2008
13 years 7 months ago
2008
: Minimum support and confidence have been used as criteria for generating association rules in all association rule mining algorithms. These criteria have their natural appeals, s...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
The main aim of the work presented here is to contribute to computer science advances in the multimodal usability area, in-as-much as it addresses one of the major issues relating...
TSMC
2010
13 years 2 months ago
2010
This paper presents a general gait representation framework for video-based human motion estimation. Specifically, we want to estimate the kinematics of an unknown gait from image ...
BMCBI
2008
13 years 7 months ago
2008
Background: Integrating data from multiple global assays and curated databases is essential to understand the spatiotemporal interactions within cells. Different experiments measu...