Sciweavers

Share
ICCS
2007
Springer
9 years 1 months ago
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
Rallou Thomopoulos, Jean-François Baget, Ol...
ICCS
2007
Springer
9 years 1 months ago
Hypermedia Discourse: Contesting Networks of Ideas and Arguments
This invited contribution motivates the Hypermedia Discourse research programme, investigating the reading, writing and contesting of ideas as hypermedia networks grounded in disco...
Simon Buckingham Shum
ICCS
2007
Springer
9 years 1 months ago
Planet-in-a-Bottle: A Numerical Fluid-Laboratory System
Abstract. Humanity’s understanding of the Earth’s weather and climate depends critically on accurate forecasting and state-estimation technology. It is not clear how to build a...
Chris Hill, Bradley C. Kuszmaul, Charles E. Leiser...
ICCS
2007
Springer
9 years 3 months ago
Belief Flow in Assertion Networks
We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical inter...
Sujata Ghosh, Benedikt Löwe, Erik Scorelle
ICCS
2007
Springer
9 years 3 months ago
A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules
We propose in this paper an extension of Conceptual Graphs that allows to use datatypes (strings, numbers, ...) for typing concept nodes. Though the model-theoretic semantics of th...
Jean-François Baget
ICCS
2007
Springer
9 years 3 months ago
A Comparison of Different Conceptual Structures Projection Algorithms
Knowledge representation (KR) is used to store and retrieve meaningful data. This data is saved using dynamic data structures that are suitable for the style of KR being implemente...
Heather D. Pfeiffer, Roger T. Hartley
ICCS
2007
Springer
9 years 3 months ago
Multiscale Modeling of Biopolymer Translocation Through a Nanopore
Maria Fyta, Simone Melchionna, Efthimios Kaxiras, ...
ICCS
2007
Springer
9 years 3 months ago
Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics
Klaus Regenauer-Lieb, Bruce Hobbs, Alison Ord, Dav...
ICCS
2007
Springer
9 years 3 months ago
Formal Verification of Analog and Mixed Signal Designs in Mathematica
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
ICCS
2007
Springer
9 years 3 months ago
Efficient Implementation of an Optimal Interpolator for Large Spatial Data Sets
Abstract. Interpolating scattered data points is a problem of wide ranging interest. One of the most popular interpolation methods in geostatistics is ordinary kriging. The price f...
Nargess Memarsadeghi, David M. Mount
books