3233 search results - page 143 / 647 » Rule Modeling and Markup |
112
click to vote
OOIS
2001
Springer
15 years 8 months ago
2001
Springer
: This paper presents Reconciliation+, a tool-supported method which identifies overlaps between models of different object interactions expressed as UML sequence and/or collaborat...
128
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
148
click to vote
ESANN
2007
15 years 5 months ago
2007
Abstract. We developed a computational model of learning in the Mushroom Body, a region of multimodal integration in the insect brain. Using realistic neural dynamics and a biologi...
148
click to vote
IJCAI
2007
15 years 5 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
141
click to vote
NIPS
2004
15 years 5 months ago
2004
We derive an optimal learning rule in the sense of mutual information maximization for a spiking neuron model. Under the assumption of small fluctuations of the input, we find a s...