35416 search results - page 338 / 7084 » Evaluation |
209
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
197
click to vote
ACMDIS
2006
ACM
16 years 20 days ago
2006
ACM
Human-Computer Interaction (HCI) often focuses on how designers can develop systems that convey a single, specific, clear interpretation of what they are for and how they should b...
182
click to vote
ACMDIS
2006
ACM
16 years 20 days ago
2006
ACM
Human-Computer Interaction (HCI) is defined by the Association for Computing Machinery (ACM) Special Interest Group on Computer-Human Interaction (SIGCHI) as “a discipline conce...
148
click to vote
APGV
2006
ACM
16 years 20 days ago
2006
ACM
Measures of dissimilarity of 3D models are necessary in a wide range of applications such as geometry compression, simplification, and 3D model retrieval. In many cases a metric ...
193
click to vote
HT
2006
ACM
16 years 20 days ago
2006
ACM
In this paper, an approach for the implementation of a qualitybased Web search engine is proposed. Quality retrieval is introduced and an overview on previous efforts to implement...