4272 search results - page 662 / 855 » A Case for Automatic System Evaluation |
159
click to vote
GG
2004
Springer
15 years 12 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
181
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
We present algorithms that enable virtual objects to interact with and respond to virtual representations, avatars, of real objects. These techniques allow dynamic real objects, s...
177
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper describes an approach to product recommendation that combines in a novel way content- and collaborative-based filtering techniques. The system helps the user ...
153
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
In examining software maintenance processes for improvement opportunities, an obvious choice is information flow. Obtaining accurate, up-to-date, and useful information about a sy...
177
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Social networks and collaborative tagging systems are rapidly gaining popularity as primary means for sorting and sharing data: users tag their bookmarks in order to simplify infor...