396 search results - page 51 / 80 » Combining decision procedures for the reals |
135
click to vote
AB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Symbolic methods for investigating Hopf bifurcation problems of vector fields arising in the context of algebraic biology have recently obtained renewed attention. Howev...
115
click to vote
EWCBR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present an agent-based application of a wireless tourist guide that combines the Beliefs-Desires-Intentions approach with learning capabilities of Case Base Reason...
120
click to vote
TC
2008
15 years 1 months ago
2008
As the scale of high-performance computing (HPC) continues to grow, failure resilience of parallel applications becomes crucial. In this paper, we present FT-Pro, an adaptive fault...
135
click to vote
ICPR
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents a real time video surveillance system which is capable of tracking multiple humans simultaneously. To better deal with various challenging issues such as occlu...
FLAIRS
2003
15 years 2 months ago
2003
An approach to fuse multiple images based on Dempster-Shafer evidential reasoning is proposed in this article. Dempster-Shafer theory provides a complete framework for combining w...