8294 search results - page 401 / 1659 » Presenting Data from Experiments in Algorithmics |
190
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
Intelligent desktop assistants could provide more help for users if they could learn models of the users’ workflows. However, discovering desktop workflows is difficult becau...
159
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Clustering algorithms typically operate on a feature vector representation of the data and find clusters that are compact with respect to an assumed (dis)similarity measure betwee...
181
click to vote
PAMI
2006
15 years 6 months ago
2006
This paper presents a family of techniques that we call congealing for modeling image classes from data. The idea is to start with a set of images and make them appear as similar a...
158
click to vote
TACAS
2007
Springer
16 years 27 days ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
210
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Packet classification is crucial for the Internet to provide more value-added services and guaranteed quality of service. Besides hardware-based solutions, many software-based cla...