9110 search results - page 1393 / 1822 » Formally-Based Design Evaluation |
164
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
Collaborative interpretation occurs when a group interprets and transforms a diverse set of information fragments into a coherent set of meaningful descriptions. This activity is ...
269
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
We aimed to study the performance of a parallel implementation of an intraoperative nonrigid registration algorithm that accurately simulates the biomechanical properties of the b...
172
click to vote
SPAA
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents mathematical foundations for the design of a memory controller subcomponent that helps to bridge the processor/memory performance gap for applications with str...
179
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper details results of an experiment to empirically evaluate the effectiveness and user acceptability of human-like synthetic agents in a multi-modal electronic retail scen...
175
click to vote
DIGITALCITIES
2000
Springer
15 years 11 months ago
2000
Springer
The purpose of this study is to apply digital city concept for the development of a pictogram system for natural disaster reduction. Long lasting and tangible achievement of IDNDR ...