9359 search results - page 225 / 1872 » Generalization Algorithms for Second-Order Terms |
152
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
135
click to vote
MOBIHOC
2008
ACM
16 years 4 months ago
2008
ACM
In this paper we seek to improve our understanding of human mobility in terms of social structures, and to use these structures in the design of forwarding algorithms for Pocket S...
151
click to vote
KDD
2008
ACM
16 years 5 months ago
2008
ACM
Discriminative training for structured outputs has found increasing applications in areas such as natural language processing, bioinformatics, information retrieval, and computer ...
163
click to vote
KDD
2007
ACM
16 years 5 months ago
2007
ACM
In analyzing data from social and communication networks, we encounter the problem of classifying objects where there is an explicit link structure amongst the objects. We study t...
126
Voted
GIR
2006
ACM
15 years 11 months ago
2006
ACM
Abstract Categories and Subject Descriptors: H.3.3 Information Search and Retrieval: Clustering and Search Process. General Terms: Algorithms, Design, Human Factors. Keywords. Epis...