780 search results - page 6 / 156 » Compositional Quantitative Reasoning |
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
LOPSTR
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
WSC
2007
13 years 9 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
SBIA
1995
Springer
13 years 11 months ago
1995
Springer
ion Framework for Compositional Modeling 36 Diane Chi and Yumi Iwasaki Model Decomposition and Simulation 45 Daniel J. Clancy and Benjamin Kuipers A Distance Measure for Attention ...
AUSDM
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Lot of research has gone into understanding the composition and nature of proteins, still many things remain to be understood satisfactorily. It is now generally believed...