2308 search results - page 159 / 462 » Representing Symbolic Reasoning |
160
click to vote
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
1 The first path implicit and exact non–robust path delay fault grading technique for non–scan sequential circuits is presented. Non enumerative exact coverage is obtained, b...
139
click to vote
ICDAR
2005
IEEE
16 years 2 days ago
2005
IEEE
We describe a new corpus collected for comparative evaluation of OCR-software and postcorrection techniques. The corpus is freely available for academic groups and use. The major ...
175
click to vote
ICRA
2005
IEEE
16 years 2 days ago
2005
IEEE
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
172
click to vote
ISM
2005
IEEE
16 years 2 days ago
2005
IEEE
— For efficient video data management, ‘video data mining’ is required to discover ‘semantic patterns’ which are not only previously unknown and interesting, but also as...
162
click to vote
ICNC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...