2766 search results - page 339 / 554 » Hybridizing a Logical Framework |
197
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Retrieval techniques based on pure similarity metrics are often suffered from the scales of image features. An alternative approach is to learn a mapping based on queries and rele...
179
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
We present an optimized parallelization scheme for molecular dynamics simulations of large biomolecular systems, implemented in the production-quality molecular dynamics program N...
179
click to vote
ERCIMDL
1998
Springer
15 years 11 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...
186
click to vote
OGAI
1993
15 years 10 months ago
1993
Fuzzy controllers are designed to work with knowledge in the form of linguistic control rules. But the translation of these linguistic rules into the framework of fuzzy set theory ...
145
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...