Sciweavers

1175 search results - page 156 / 235
» A Model for Structural Changes of Belief
Sort
View
MSCS
2007
125views more  MSCS 2007»
15 years 5 months ago
On categorical models of classical logic and the Geometry of Interaction
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
Carsten Führmann, David J. Pym
EUROCAST
1997
Springer
156views Hardware» more  EUROCAST 1997»
15 years 10 months ago
A Computational Model for Visual Size, Location and Movement
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...
Miguel Alemán-Flores, K. Nicholas Leibovic,...
CORR
2010
Springer
188views Education» more  CORR 2010»
15 years 6 months ago
A physically-based particle model of emergent crowd behaviors
This paper presents a modeling process in order to produce a realistic simulation of crowds in the ancient Greek agora of Argos. This place was a social theater in which two kinds...
Laure Heïgéas, Annie Luciani, Joë...
ENVSOFT
2008
78views more  ENVSOFT 2008»
15 years 6 months ago
A general water supply planning model: Evaluation of decentralized treatment
Increasing population, diminishing supplies and variable climatic conditions can cause difficulties in meeting water demands; especially in arid regions where water resources are ...
G. Chung, K. Lansey, P. Blowers, P. Brooks, W. Ela...
BMCBI
2010
259views more  BMCBI 2010»
15 years 1 months ago
Rule-based spatial modeling with diffusing, geometrically constrained molecules
Background: We suggest a new type of modeling approach for the coarse grained, particle-based spatial simulation of combinatorially complex chemical reaction systems. In our appro...
Gerd Gruenert, Bashar Ibrahim, Thorsten Lenser, Ma...