2187 search results - page 343 / 438 » Clustering with Interactive Feedback |
200
click to vote
SOSP
1997
ACM
15 years 8 months ago
1997
ACM
Real-time applications such as multimedia audio and video are increasingly populating the workstation desktop. To support the execution of these applications in conjunction with t...
187
click to vote
WSC
2000
15 years 8 months ago
2000
The need to understand dynamic behavior in auctions is increasing with the popularization of online auctions. Applications include designing auction mechanisms, bidding strategies...
169
click to vote
AAAI
1994
15 years 8 months ago
1994
Conceptual information retrieval systems use structured document indices, domain knowledge and a set of heuristic retrieval strategies to match user queries with a set of indices ...
157
click to vote
AROBOTS
2008
15 years 7 months ago
2008
Assistive technology is an emerging area, where robotic devices can help individuals with motor disabilities to achieve independence in daily activities. This paper deals with a sy...
200
click to vote
ENTCS
2006
15 years 6 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...