1950 search results - page 86 / 390 » Lambda-Free Logical Frameworks |
184
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Our work concerns the elucidation of the cancer (epi)genome, transcriptome and proteome to better understand the complex interplay between a cancer cell's molecular state and ...
207
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...
201
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...
175
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
158
click to vote
CCS
2010
ACM
16 years 1 months ago
2010
ACM
Despite a plethora of recent research regarding trust management approaches to authorization, relatively little attention has been given to exactly how these technologies can be e...