1805 search results - page 337 / 361 » A Theory of Closure Operators |
140
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
161
click to vote
ICLP
2004
Springer
15 years 9 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
127
click to vote
KDD
2004
ACM
15 years 9 months ago
2004
ACM
Clustering time series is a problem that has applications in a wide variety of fields, and has recently attracted a large amount of research. In this paper we focus on clustering...
125
click to vote
MATES
2004
Springer
15 years 9 months ago
2004
Springer
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an exp...
132
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Basically, instrumental conditioning is learning through consequences: Behavior that produces positive results (high “instrumental response”) is reinforced, and that which pro...