1126 search results - page 133 / 226 » Modularity and the Rule of Adaptation |
85
Voted
COLING
2000
15 years 1 months ago
2000
In order to realize their full potential, multimodal interfaces need to support not just input from multiple modes, but single commands optimally distributed across the available ...
100
click to vote
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
92
Voted
NJC
2006
15 years 15 days ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
86
Voted
TNN
2008
15 years 13 days ago
2008
Abstract-- A major drawback of artificial neural networks (ANNs) is their black-box character. This is especially true for recurrent neural networks (RNNs) because of their intrica...
112
click to vote
CORR
2002
Springer
15 years 11 days ago
2002
Springer
In this paper we consider three di erent kinds of domain dependent control knowledge (temporal, procedural and HTN-based) that are useful in planning. Our approach is declarative ...