7886 search results - page 165 / 1578 » An evaluation of bipartitioning techniques |
165
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
We present a technique for evaluating the usability and effectiveness of ambient displays. Ambient displays are and aesthetic peripheral displays portraying non-critical informati...
166
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Infrastructure software comprises code libraries or runtime processes that support the development or operation of application software. A particular infrastructure system may sup...
213
click to vote
Publication
Abstract information refers to information that a user can’t directly obtain just by visualizing the spatial information of objects in a 3D virtual environment (3DVE). This thesi...
199
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
208
click to vote
TSE
2008
15 years 7 months ago
2008
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...