2766 search results - page 89 / 554 » Hybridizing a Logical Framework |
TABLEAUX
2009
Springer
14 years 4 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
CA
2002
IEEE
14 years 3 months ago
2002
IEEE
Animated characters may exhibit several kinds of dynamic intelligence when performing low-level navigation (i.e., navigation on a local perceptual scale): They decide among differ...
CSE
2011
IEEE
12 years 9 months ago
2011
IEEE
In this paper, we present a performance modeling framework based on memory bandwidth contention time and a parameterized communication model to predict the performance of OpenMP, M...
DNA
2004
Springer
14 years 3 months ago
2004
Springer
Practically all of life’s molecular processes, from chemical synthesis to replication, involve enzymes that carry out their functions through the catalysis of metastable fuels in...
ICONIP
2010
2010
A New Framework for Small Sample Size Face Recognition Based on Weighted Multiple Decision Templates
13 years 8 months ago
In this paper a holistic method and a local method based on decision template ensemble are investigated. In addition by combining both methods, a new hybrid method for boosting the...