4636 search results - page 384 / 928 » Modelling and Validation with VipTool |
131
click to vote
ENTCS
2006
15 years 4 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
132
click to vote
ENVSOFT
2007
15 years 4 months ago
2007
This paper presents a case study in assessment of erosion hotspots in an Andean watershed. To do this, we made use of an interface called Geospatial Modelling of Soil Erosion (GEM...
132
click to vote
TITB
2008
15 years 4 months ago
2008
In this paper, we propose a physics-based and physiology-based approach for modeling real-time deformations of 3-D high-resolution polygonal lung models obtained from highresolutio...
146
click to vote
AROBOTS
2002
15 years 4 months ago
2002
Abstract. In multi-robot applications, such as foraging or collection tasks, interference, which results from competition for space between spatially extended robots, can significa...
127
click to vote
CI
2004
15 years 4 months ago
2004
We consider automated decision aids that help users select the best solution from a large set of options. For such tools to successfully accomplish their task, eliciting and repre...