607 search results - page 87 / 122 » Axiomatizing hybrid logic using modal logic |
151
click to vote
AAAI
1994
15 years 7 months ago
1994
Most Artificial Intelligence programs lack generality because they reason with a single domain theory that is tailored for a specific task and embodies a host of implicit assumpti...
152
click to vote
EPIA
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
143
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...
155
click to vote
PR
2006
15 years 6 months ago
2006
Video temporal segmentation is normally the first and important step for content-based video applications. Many features including the pixel difference, colour histogram, motion, ...
148
Voted
APN
2007
Springer
16 years 8 days 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...