Sciweavers

1669 search results - page 250 / 334
» Structured Specification of Model Interpreters
Sort
View
ECSQARU
2001
Springer
15 years 4 months ago
New Semantics for Quantitative Possibility Theory
New semantics for numerical values given to possibility measures are provided. For epistemic possibilities, the new approach is based on the semantics of the transferable belief m...
Didier Dubois, Henri Prade, Philippe Smets
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
15 years 4 months ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
VISUALIZATION
1999
IEEE
15 years 4 months ago
Collapsing Flow Topology Using Area Metrics
Visualization of topological information of a vector field can provide useful information on the structure of the field. However, in turbulent flows standard critical point visual...
Wim C. de Leeuw, Robert van Liere
CL
2000
Springer
15 years 3 months ago
Concurrent Constraint Programming with Process Mobility
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
David Gilbert, Catuscia Palamidessi
LREC
2010
179views Education» more  LREC 2010»
15 years 1 months ago
Building a Bank of Semantically Encoded Narratives
We propose a methodology for a novel type of discourse annotation whose model is tuned to the analysis of a text as narrative. This is intended to be the basis of a "story ba...
David K. Elson, Kathleen McKeown