1550 search results - page 285 / 310 » Optimizing search by showing results in context |
KDD
2005
ACM
14 years 8 months ago
2005
ACM
Learning ranking (or preference) functions has been a major issue in the machine learning community and has produced many applications in information retrieval. SVMs (Support Vect...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
MSR
2006
ACM
14 years 1 months ago
2006
ACM
Similarity analysis of source code is helpful during development to provide, for instance, better support for code reuse. Consider a development environment that analyzes code whi...
MM
2005
ACM
14 years 1 months ago
2005
ACM
We investigate methods of segmenting, visualizing, and indexing presentation videos by both audio and visual data. The audio track is segmented by speaker, and augmented with key ...
IPTPS
2005
Springer
14 years 1 months ago
2005
Springer
— We propose here an analysis of a rich dataset which gives an exhaustive and dynamic view of the exchanges processed in a running eDonkey system. We focus on correlation in term...