4987 search results - page 24 / 998 » Support Ordered Resolution |
AAAI
2000
14 years 11 months ago
2000
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, a multi-camera architecture is presented for heterogeneous targets analysis and tracking. The proposed system can be switched in various configurations enabling aut...
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
PICS
2001
14 years 11 months ago
2001
The perceptibility of scanner noise as a function of resolution is studied using a model for the human visual system and for the scanner noise. The visual system is modeled using ...
MICRO
1993
IEEE
15 years 1 months ago
1993
IEEE
The conventional classification of inter-instruction dependencies (data, anti and output dependencies) provides a basic scheme for the analysis of pipeline hazards in pipelined in...