959 search results - page 47 / 192 » Transfers between Logics and their Applications |
AAAI
1996
15 years 3 months ago
1996
Truth maintenance systems provide caches of beliefs and inferences that support explanations and search. Traditionally, the cost of using a TMS is monotonic growth in the size of ...
120
click to vote
GIS
2006
ACM
15 years 1 months ago
2006
ACM
We present an algorithm for polyline (and polygon) similarity testing that is based on the double-cross formalism. To determine the degree of similarity between two polylines, the...
150
click to vote
ACL
1990
15 years 3 months ago
1990
Conversation between two people is usually of MIXED-INITIATIVE, with CONTROL over the conversation being transferred from one person to another. We apply a set of rules for the tr...
140
click to vote
TVCG
2011
14 years 9 months ago
2011
— The growing sizes of volumetric data sets pose a great challenge for interactive visualization. In this paper, we present a feature-preserving data reduction and focus+context ...
140
click to vote
NN
2002
Springer
15 years 1 months ago
2002
Springer
This paper presents a biologically-inspired, hardware-realisable spiking neuron model, which we call the Temporal Noisy-Leaky Integrator (TNLI). The dynamic applications of the mo...