8486 search results - page 64 / 1698 » Ordered Enumeration Method |
119
Voted
CAGD
2008
15 years 2 months ago
2008
A classic problem in geometric modelling is curve interpolation to data points. Some of the existing interpolation schemes only require point data, whereas others, require higher ...
125
click to vote
JOC
2000
15 years 2 months ago
2000
We present a new cryptosystem based on ideal arithmetic in quadratic orders. The method of our trapdoor is different from the Diffie
114
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...
ICDM
2002
IEEE
15 years 7 months ago
2002
IEEE
We advocate a new learning task that deals with orders of items, and we call this the Learning from Order Examples (LOE) task. The aim of the task is to acquire the rule that is u...
121
Voted
LICS
1991
IEEE
15 years 6 months ago
1991
IEEE
Abstract. We extend the termination proof methods based on reduction orderings to higher-order rewriting systems `a la Nipkow using higher-order pattern matching for firing rules,...