580 search results - page 55 / 116 » Approximation Algorithms for Temporal Reasoning |
131
Voted
IJCNN
2008
IEEE
15 years 9 months ago
2008
IEEE
— Spiking neural networks have been shown capable of simulating sigmoidal artificial neural networks providing promising evidence that they too are universal function approximat...
117
click to vote
DIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper, we consider 0/1 databases and provide an alternative way of extracting knowledge from such databases using tiles. A tile is a region in the database consis...
114
Voted
SAT
2005
Springer
15 years 8 months ago
2005
Springer
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
98
Voted
IJCAI
1989
15 years 3 months ago
1989
Nilsson's Probabilistic Logic is a set theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the fram...
150
click to vote
ACCV
2007
Springer
15 years 8 months ago
2007
Springer
Camera networks are increasingly being deployed for security. In most of these camera networks, video sequences are captured, transmitted and archived continuously from all cameras...