3717 search results - page 510 / 744 » Representing Multiple Theories |
228
click to vote
SODA
2010
ACM
15 years 5 months ago
2010
ACM
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
214
click to vote
ACL
2010
15 years 5 months ago
2010
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...
253
click to vote
BIBM
2010
IEEE
15 years 5 months ago
2010
IEEE
Recently, the concept of a species containing both core and distributed genes, known as the supra- or pangenome theory, has been introduced. In this paper, we aim to develop a new ...
217
click to vote
SEMWEB
2010
Springer
15 years 5 months ago
2010
Springer
Given the large number of Semantic Web Services that can be created from online sources by using existing annotation tools, expressive formalisms and efficient and scalable approac...
225
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
Studying relationships between keyword tags on social sharing websites has become a popular topic of research, both to improve tag suggestion systems and to discover connections b...