Sciweavers

3717 search results - page 9 / 744
» Representing Multiple Theories
Sort
View
APVIS
2011
12 years 7 months ago
Loose capacity-constrained representatives for the qualitative visual analysis in molecular dynamics
Molecular dynamics is a widely used simulation technique to investigate material properties and structural changes under external forces. The availability of more powerful cluster...
Steffen Frey, Thomas Schlömer, Sebastian Grot...
UML
2001
Springer
14 years 2 days ago
Representing Embedded System Sequence Diagrams as a Formal Language
Sequence Diagrams (SDs) have proven useful for describing transaction-oriented systems, and can form a basis for creating statecharts. However, distributed embedded systems require...
Elizabeth Latronico, Philip Koopman
FSS
2008
87views more  FSS 2008»
13 years 7 months ago
Representing parametric probabilistic models tainted with imprecision
Numerical possibility theory, belief function have been suggested as useful tools to represent imprecise, vague or incomplete information. They are particularly appropriate in unc...
Cédric Baudrit, Didier Dubois, Nathalie Per...
ECSQARU
2009
Springer
14 years 2 months ago
A Default Logic Patch for Default Logic
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
Philippe Besnard, Éric Grégoire, S&e...
COSIT
2003
Springer
111views GIS» more  COSIT 2003»
14 years 26 days ago
Layers: A New Approach to Locating Objects in Space
Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regio...
Maureen Donnelly, Barry Smith