3281 search results - page 381 / 657 » An Approach to use Executable Models for Testing |
146
click to vote
CIKM
2007
Springer
15 years 11 months ago
2007
Springer
Traditional adaptive filtering systems learn the user’s interests in a rather simple way – words from relevant documents are favored in the query model, while words from irre...
162
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
The robust alignment of images and scenes seen from widely different viewpoints is an important challenge for camera and scene reconstruction. This paper introduces a novel class ...
148
click to vote
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
153
Voted
BMCBI
2008
15 years 5 months ago
2008
Background: The prediction of protein structure can be facilitated by the use of constraints based on a knowledge of functional sites. Without this information it is still possibl...
146
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...