5896 search results - page 717 / 1180 » On Learning with Integral Operators |
217
click to vote
ICLP
2001
Springer
16 years 3 days ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
192
click to vote
IEAAIE
2001
Springer
16 years 3 days ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
182
click to vote
INAP
2001
Springer
16 years 3 days ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
220
click to vote
IWDC
2001
Springer
16 years 3 days ago
2001
Springer
DAVID (Data And Voice Integration over D-WDM) is a research project sponsored by the European Community aimed at the design of an optical packet-switched network for the transport ...
211
click to vote
CA
2000
IEEE
16 years 2 days ago
2000
IEEE
This paper presents a sculptured solid modeling system founded upon dynamic Catmull-Clark subdivision-based solids of arbitrary topology. Our primary contribution is that we integ...