1223 search results - page 165 / 245 » A Logic for Reasoning about Evidence |
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
DAGSTUHL
2007
13 years 9 months ago
2007
Abstract. The sentences of deontic logic may be understood as describing what an agent ought to do when faced with a given set of norms. If these norms come into conflict, the bes...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Repetitive and ambiguous visual structures in general pose a severe problem in many computer vision applications. Identification of incorrect geometric relations between images s...
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— Our paper presents a fully automated computational mechanism for targeting a space-variant retina based on the highlevel visual content of a scene. Our retina’s receptive fie...