11160 search results - page 65 / 2232 » Incompleteness in a General Setting |
78
Voted
ICSE
2004
IEEE-ACM
16 years 25 days ago
2004
IEEE-ACM
We apply data mining to version histories in order to guide programmers along related changes: "Programmers who changed these functions also changed...." Given a set of e...
94
Voted
WABI
2004
Springer
15 years 6 months ago
2004
Springer
—In practice, one is often faced with incomplete phylogenetic data, such as a collection of partial trees or partial splits. This paper poses the problem of inferring a phylogene...
107
Voted
EXACT
2008
15 years 3 months ago
2008
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
90
Voted
IJCAI
2007
15 years 2 months ago
2007
Voting rules map collections of preference orderings over a set of candidates (one for each voter) to candidates. Now, in many contexts, we have to consider the case where either t...
73
Voted
JSYML
2011
14 years 7 months ago
2011
We show that the class of strongly jump-traceable c.e. sets can be characterised as those which have sufficiently slow enumerations so they obey a class of well-behaved cost functi...