7840 search results - page 174 / 1568 » On generalized Ramsey numbers |
99
Voted
NIPS
2004
15 years 2 months ago
2004
Many interesting multiclass problems can be cast in the general framework of label ranking defined on a given set of classes. The evaluation for such a ranking is generally given ...
103
Voted
AAAI
2000
15 years 2 months ago
2000
We present a general algorithm for synthesizing state invariants that speed up automated planners and have other applications in reasoning about change. Invariants are facts that ...
84
Voted
AAAI
2000
15 years 2 months ago
2000
We perform an extensive theoretical and empirical analysis of the use of auxiliary variables and implied constraints in modelling a class of non-binary constraint satisfaction pro...
COLING
1996
15 years 2 months ago
1996
This paper extends the calculus of regular expressions with new types of replacement expressions that enhance the expressiveness of the simple replace operator defined in Karttune...
147
click to vote
AINA
2007
IEEE
15 years 28 days ago
2007
IEEE
With an increasing number of vehicles equipped with embedded computing platforms and advanced wireless technology, general purpose vehicle telematics applications are highly promi...