675 search results - page 56 / 135 » What Is New in Our City |
77
Voted
ICN
2001
Springer
15 years 5 months ago
2001
Springer
In recent years World Wide Web traffic has shown phenomenal growth. The main causes are the continuing increase in the number of people navigating the Internet and the creation of ...
78
Voted
IUI
2000
ACM
15 years 5 months ago
2000
ACM
This paper describes a series of experiments with a range of users to evaluate an intelligent interface for acquiring problem-solving knowledge to describe how to accomplish a tas...
99
Voted
TPHOL
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...
108
Voted
GROUP
1997
ACM
15 years 5 months ago
1997
ACM
The prevalence of audio and video options on computers, coupled with the promise of bandwidth, have many prognosticators predicting a revolution in human communications. But what ...
87
Voted
NIPS
2007
15 years 2 months ago
2007
We propose an active learning algorithm that learns a continuous valuation model from discrete preferences. The algorithm automatically decides what items are best presented to an...