4488 search results - page 511 / 898 » Properties of NP-Complete Sets |
195
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
218
click to vote
JAL
2006
15 years 7 months ago
2006
We present a new algorithm, called LB-Triang, which computes minimal triangulations. We give both a straightforward O(nm0) time implementation and a more involved O(nm) time imple...
196
click to vote
DEBU
2007
15 years 7 months ago
2007
In this paper, we present observations on structural properties of wordnets of three languages: English, Hindi, and Marathi. Hindi and Marathi, spoken widely in India, rank 5th an...
203
click to vote
EAAI
2007
15 years 7 months ago
2007
: In knowledge discovery and data mining many measures of interestingness have been proposed in order to measure the relevance and utility of the discovered patterns. Among these m...
186
click to vote
LOGCOM
2008
15 years 7 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...