10289 search results - page 50 / 2058 » Standard bases in K |
166
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
238
click to vote
ICB
2009
Springer
16 years 21 days ago
2009
Springer
Face recognition performance can be significantly influenced by face image quality. The approved ISO/IEC standard 19794-5 has specified recommendations for face photo taking for...
163
click to vote
ERCIMDL
1998
Springer
15 years 10 months ago
1998
Springer
This paper first outlines a multi-level video indexing approach based on Dublin Core extensions and the Resource Description Framework (RDF). The advantages and disadvantages of t...
208
click to vote
AMR
2006
Springer
15 years 10 months ago
2006
Springer
Most of the currently existing image retrieval systems make use of either low-level features or semantic (textual) annotations. A combined usage during annotation and retrieval is ...
177
click to vote
MMS
1998
15 years 5 months ago
1998
This paper describes an event–based synchronization mechanism, which is at the core of the inter– media synchronization in the upcoming standard for Multimedia Presentation, PR...