3799 search results - page 641 / 760 » An Engineering Approach to Formal Methods |
168
Voted
TMM
2010
14 years 11 months ago
2010
Abstract--The automatic discovery of group conversational behavior is a relevant problem in social computing. In this paper, we present an approach to address this problem by defin...
134
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
The popular bag-of-features representation for object recognition collects signatures of local image patches and discards spatial information. Some have recently attempted to at l...
138
click to vote
ICML
2008
IEEE
16 years 5 months ago
2008
IEEE
We propose Laplace max-margin Markov networks (LapM3 N), and a general class of Bayesian M3 N (BM3 N) of which the LapM3 N is a special case with sparse structural bias, for robus...
145
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Name ambiguity problem has been a challenging issue for a long history. In this paper, we intend to make a thorough investigation of the whole problem. Specifically, we formalize ...
168
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Ontology summarization is very important to quick understanding and selection of ontologies. In this paper, we study extractive summarization of ontology. We propose a notion of R...