2766 search results - page 149 / 554 » Hybridizing a Logical Framework |
148
click to vote
EEE
2005
IEEE
15 years 10 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
156
click to vote
EPIA
1997
Springer
15 years 8 months ago
1997
Springer
Argumentation semantics in extended logic programming has been defined in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...
148
click to vote
ASE
2004
15 years 4 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
106
click to vote
SLP
1990
15 years 5 months ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
146
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
We present a hybrid camera that combines the advantages of a high resolution camera and a high speed camera. Our hybrid camera consists of a pair of low-resolution high-speed (LRH...