4107 search results - page 204 / 822 » The Generalized Lambda Test |
165
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
169
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper reports on experiments submitted for the robust task at CLEF 2006 ad intended to provide a baseline for other runs for the robust task. We applied a system previously t...
158
click to vote
SPATIALCOGNITION
2000
Springer
15 years 10 months ago
2000
Springer
Possible influences of contexts on memory for routes are investigated. Route knowledge was established by learning a route which was presented on a computer screen. Activation of k...
151
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
We present an incremental refinement algorithm for approximate compilation of constraint satisfaction models into multivalued decision diagrams (MDDs). The algorithm uses a vertex ...
132
click to vote
BCSHCI
2007
15 years 8 months ago
2007
Emotional appeal is a key dimension in user experience that often goes unmeasured in most user-centered design projects. This paper presents preliminary work for developing a set ...