476 search results - page 14 / 96 » Information Algebras |
COSIT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
IDA
2009
Springer
13 years 5 months ago
2009
Springer
A new method for action potentials detection is proposed. The method is based on a numerical differentiation, as recently introduced from operational calculus. We show that it has ...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
FOIKS
2004
Springer
14 years 27 days ago
2004
Springer
Despite the fact that thousands of applications manipulate plans, there has been no work to date on managing large databases of plans. In this paper, we first propose a formal mod...
FQAS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. A temporal question answering system must be able to deduce which qualitative temporal relation holds between two events, a reasoning task that is complicated by the fact...