3281 search results - page 196 / 657 » An Approach to use Executable Models for Testing |
108
click to vote
LREC
2010
15 years 5 months ago
2010
In this paper, we deal with information retrieval approach based on language model paradigm, which has been intensively investigated in recent years. We propose, implement, and ev...
140
Voted
JAR
2006
15 years 3 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
108
Voted
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper introduces a new approach to develop robots that can learn general affordance relations from their experiences. Our approach is a part of larger efforts to develop a ...
129
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
One of the characteristicsof object-oriented software is the complex dependency that may exist between classes due to inheritance, association and aggregation relationships. Hence...
116
Voted
WABI
2007
Springer
15 years 9 months ago
2007
Springer
The aim of the motif recognition problem is to detect a set of mutually similar subsequences within a collection of biological sequences. The weak motif recognition problem on DNA ...