1073 search results - page 87 / 215 » Reasoning about Continuous Processes |
132
click to vote
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
117
Voted
LREC
2008
15 years 4 months ago
2008
This paper describes the development of a written corpus of argumentative reasoning. Arguments in the corpus have been analysed using state of the art techniques from argumentatio...
108
click to vote
JSW
2008
15 years 2 months ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
98
Voted
PEPM
1994
ACM
15 years 6 months ago
1994
ACM
It is well-known that self-applicable partial evaluation can be used to generate compiler generators: cogen = mix(mix;mix), where mix is the specializer (partial evaluator). Howev...
163
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...