Sciweavers

20 search results - page 2 / 4
» Algebraic Topology for Knowledge Representation in Analogy S...
Sort
View
TIME
1994
IEEE
13 years 9 months ago
An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
Robert A. Morris, William D. Shoaff, Lina Khatib
POPL
2008
ACM
14 years 5 months ago
Foundations for structured programming with GADTs
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
Patricia Johann, Neil Ghani
MICAI
2007
Springer
13 years 11 months ago
Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras
Previous work on context-specific independence in Bayesian networks is driven by a common goal, namely to represent the conditional probability tables in a most compact way. In th...
Michael Wachter, Rolf Haenni, Marc Pouly
COSIT
2009
Springer
133views GIS» more  COSIT 2009»
13 years 11 months ago
A Metric Conceptual Space Algebra
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
Benjamin Adams, Martin Raubal
TSP
2008
116views more  TSP 2008»
13 years 5 months ago
Computation of Delay-Free Nonlinear Digital Filter Networks: Application to Chaotic Circuits and Intracellular Signal Transducti
Abstract--A method for the computation of nonlinear digital filter networks containing delay-free loops is proposed. By preserving the topology of the network this method permits t...
Federico Fontana, Federico Avanzini