1890 search results - page 107 / 378 » Model-Based Testing in Practice |
141
click to vote
NIPS
2007
15 years 7 months ago
2007
This article discusses a latent variable model for inference and prediction of symmetric relational data. The model, based on the idea of the eigenvalue decomposition, represents ...
165
click to vote
VVEIS
2008
15 years 7 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
139
click to vote
ECIS
2001
15 years 7 months ago
2001
The purpose of this paper is to investigate the distinctive characteristics of the competitive mechanism in the digital economy and information product markets. Specific propertie...
191
click to vote
HCI
2009
15 years 4 months ago
2009
Heuristic evaluations are an efficient low cost method for identifying usability problems in a biomedical research tool. Combining the results of these evaluations with findings fr...
183
click to vote
DAGM
2004
Springer
15 years 11 months ago
2004
Springer
This work addresses the two major drawbacks of current statistical uncertain geometric reasoning approaches. In the first part a framework is presented, that allows to represent u...