3994 search results - page 294 / 799 » A Linear Logical Framework |
203
click to vote
IJACTAICIT
2010
15 years 4 months ago
2010
Human superiority over computers in identifying natural objects like clouds, water, grass etc. comes from two capabilities: the capability to maintain a growing knowledge base per...
199
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...
140
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
155
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The paper presents a method to integrate parallelism in the DIPLIB sequential image processing library. The library contains several framework functions for di erent types of opera...
193
click to vote
CGF
2006
15 years 6 months ago
2006
Surface representation and processing is one of the key topics in computer graphics and geometric modeling, since it greatly affects the range of possible applications. In this pa...