670 search results - page 71 / 134 » Brain-Like Approximate Reasoning |
107
Voted
APPROX
2009
Springer
15 years 7 months ago
2009
Springer
We explore the average-case “Vickrey” cost of structures in a random setting: the Vickrey cost of a shortest path in a complete graph or digraph with random edge weights; the V...
114
click to vote
RTAS
2007
IEEE
15 years 7 months ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
103
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
115
click to vote
SEFM
2006
IEEE
15 years 6 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
119
Voted
AVSS
2005
IEEE
15 years 6 months ago
2005
IEEE
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is gener...