1128 search results - page 69 / 226 » Classical Natural Deduction |
PAMI
2012
12 years 12 days ago
2012
—Modeling data with linear combinations of a few elements from a learned dictionary has been the focus of much recent research in machine learning, neuroscience, and signal proce...
CAV
2012
Springer
12 years 12 days ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
AAAI
2012
12 years 10 days ago
2012
Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic...
AAAI
2012
12 years 10 days ago
2012
Entity Recognition (ER) is a key component of relation extraction systems and many other natural-language processing applications. Unfortunately, most ER systems are restricted to...
ICCV
2007
IEEE
14 years 12 months ago
2007
IEEE
The way catadioptric images are acquired implies that they present radial distortions. Therefore, classical processing may not be suitable. This statement will be illustrated by c...