3281 search results - page 160 / 657 » An Approach to use Executable Models for Testing |
138
click to vote
ICIP
2001
IEEE
16 years 4 months ago
2001
IEEE
Face recognition has become an important topic within the field of pattern recognition and computer vision. In this field a number of different approaches to feature extraction, m...
114
click to vote
PGLDB
2003
15 years 4 months ago
2003
This paper describes an on-going effort to investigate problems and approaches for achieving Web-service-based, dynamic and collaborative e-learning. In this work, a Learning Cont...
170
click to vote
NFM
2011
14 years 10 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
140
Voted
TJS
2002
15 years 3 months ago
2002
The Center for Simulating Dynamic Response of Materials at the California Institute of Technology is constructing a virtual shock physics facility for studying the response of vari...
132
click to vote
SERP
2003
15 years 4 months ago
2003
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...