9110 search results - page 249 / 1822 » Formally-Based Design Evaluation |
171
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Interleaving experiments are an attractive methodology for evaluating retrieval functions through implicit feedback. Designed as a blind and unbiased test for eliciting a preferen...
197
click to vote
ISHPC
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes the implementation and evaluation of the OpenMP compiler designed for the Hitachi SR8000 Super Technical Server. The compiler performs parallelization for the ...
130
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes the control and ergonomic evaluation of a ceiling mounted (or support frame suspended) 7-axis surgical robot (HISAR)f o r laparoscopic camera navigation. A ke...
195
click to vote
ASAP
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we extend the domain of applicability of the E-method [7, 8], as a hardware-oriented method for evaluating elementary functions using polynomial and rational functio...
199
click to vote
AVSS
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents the Visor (VIdeo Surveillance Online Repository) project designed with the aim of establishing an open platform for collecting, annotating, retrieving, sharing...