10568 search results - page 400 / 2114 » Computer Intelligence and Formalization |
132
Voted
APN
2007
Springer
15 years 10 months ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
129
click to vote
WRAC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe an on-going project called Concept and Sensor Networks (CSN). The development of this project has been described in past PSMP workshops [1]. The purpose ...
159
click to vote
IEAAIE
1998
Springer
15 years 8 months ago
1998
Springer
This paper presents a method I for tracking and segmenting vehicles in a traffic scene. The approach is based on a frame to frame segmentation followed by a tracking process. As op...
127
Voted
ECAL
1995
Springer
15 years 8 months ago
1995
Springer
In this paper we investigate the phenomenon of multi-parent reproduction, i.e. we study recombination mechanisms where an arbitrary n > 1 number of parents participate in creati...
139
click to vote
AAAI
2008
2008
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation
15 years 7 months ago
Abductive diagnosis is an important method to identify explanations for a given set of observations. Unfortunately, most of the algorithmic problems in this area are intractable. ...