7988 search results - page 1472 / 1598 » A Useful Undecidable Theory |
128
Voted
ACTAC
1998
15 years 3 months ago
1998
In a semi-structured database there is no clear separation between the data and the schema, and the degree to which it is structured depends on the application. Semi-structured da...
168
Voted
AAMAS
1999
Springer
15 years 3 months ago
1999
Springer
: Although avatars may resemble communicative interface agents, they have for the most part not profited from recent research into autonomous embodied conversational systems. In pa...
141
Voted
NDJFL
1998
15 years 3 months ago
1998
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...
119
Voted
NDJFL
1998
15 years 3 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
126
Voted
TIP
1998
15 years 3 months ago
1998
This paper examines the relationship between wavelet-based image processing algorithms and variational problems. Algorithms are derived as exact or approximate minimizers of varia...