320 search results - page 3 / 64 » Conditionals and consequences |
ENTCS
2008
13 years 7 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
ISIPTA
2005
IEEE
14 years 1 months ago
2005
IEEE
Coherent upper and lower previsions are becoming more and more popular as a mathematical model for robust valuations under uncertainty. Likewise, the mathematically equivalent cla...
NIPS
2001
13 years 8 months ago
2001
We have designed and fabricated a VLSI synapse that can learn a conditional probability or correlation between spike-based inputs and feedback signals. The synapse is low power, c...
ICNSC
2008
IEEE
14 years 1 months ago
2008
IEEE
—People with long term health conditions often experience a radically reduced quality of life and suffer from a range of symptoms. Self management can encourage patients with a c...
ACRI
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In this paper we develop an artificial world model to investigate how environmental conditions affect opportunities for learning. We model grouping entities that learn wh...