3116 search results - page 152 / 624 » Positively dependent types |
133
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
139
click to vote
ECIR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The identification of reliable and interesting items on Internet becomes more and more difficult and time consuming. This paper is a position paper describing our intend...
138
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: The currently used kth order Markov models estimate the probability of generating a single nucleotide conditional upon the immediately preceding (gap = 0) k units. How...
143
click to vote
ICML
2000
IEEE
16 years 5 months ago
2000
IEEE
Clustering algorithms conduct a search through the space of possible organizations of a data set. In this paper, we propose two types of instance-level clustering constraints ? mu...
129
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...