3233 search results - page 487 / 647 » Rule Modeling and Markup |
162
click to vote
NN
2002
Springer
15 years 6 months ago
2002
Springer
Knowledge of the effect of dopamine on corticostriatal synaptic plasticity has advanced rapidly over the last 5 years. We consider this new knowledge in relation to three factors ...
168
click to vote
PVLDB
2008
15 years 6 months ago
2008
XTCcmp, the XQuery Compiler of a native XML database system, extends Starburst's well-known Query Graph Model to serve as an internal representation and basis for query restr...
164
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...
173
click to vote
TIFS
2010
15 years 4 months ago
2010
This paper presents a new evolutionary approach for adaptive combination of multiple biometrics to ensure the optimal performance for the desired level of security. The adaptive c...
295
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...