Sciweavers

3255 search results - page 47 / 651
» Combination of Abstractions in the ASTR
Sort
View
ENTCS
2007
126views more  ENTCS 2007»
13 years 7 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
DSVIS
2003
Springer
14 years 25 days ago
Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach
The DiaMODL dialog modelling is a hybrid language, based on the Pisa interactor abstraction and UML Statecharts. By combining a dataflow-oriented language with one focussing on beh...
Hallvard Trætteberg
MCS
2000
Springer
13 years 11 months ago
Experiments with Classifier Combining Rules
Abstract. A large experiment on combining classifiers is reported and discussed. It includes, both, the combination of different classifiers on the same feature set and the combina...
Robert P. W. Duin, David M. J. Tax
ICANN
2009
Springer
13 years 11 months ago
Classification Based on Combination of Kernel Density Estimators
Abstract. A new classification algorithm based on combination of kernel density estimators is introduced. The method combines the estimators with different bandwidths what can be i...
Mateusz Kobos, Jacek Mandziuk
COMMA
2006
13 years 9 months ago
Combining sceptical epistemic reasoning with credulous practical reasoning
Abstract. This paper proposes an argument-based semantics for combined epistemic and practical reasoning, taking seriously the idea that in certain contexts epistemic reasoning is ...
Henry Prakken