Sciweavers

7715 search results - page 236 / 1543
» Visual Rules Modeling
Sort
View
MSV
2008
15 years 8 months ago
Modelling and Visualizing the Cahn-Hilliard-Cook Equation
The Cahn-Hilliard-Cook equation continues to be a useful model describing binary phase separation in systems such as alloys and other physical and chemical applications. We descri...
Kenneth A. Hawick, Daniel P. Playne
ICPR
2002
IEEE
16 years 7 months ago
Visual Abstraction of Wildlife Footage Using Gaussian Mixture Models and the Minimum Description Length Criterion
bstraction of Wildlife Footage using Gaussian Mixture Models and the Minimum Description Length Criterion David Gibson Neill Campbell Barry Thomas Department of Computer Science Un...
David P. Gibson, Neill W. Campbell, Barry T. Thoma...
AINA
2010
IEEE
15 years 11 months ago
CloudAnalyst: A CloudSim-Based Visual Modeller for Analysing Cloud Computing Environments and Applications
—Advances in Cloud computing enable new possibilities to Internet applications developers. Previously, the main concern of Internet applications developers was deployment and hos...
Bhathiya Wickremasinghe, Rodrigo N. Calheiros, Raj...
CGF
2007
165views more  CGF 2007»
15 years 6 months ago
Ray-Casted BlockMaps for Large Urban Models Visualization
We introduce a GPU-friendly technique that efficiently exploits the highly structured nature of urban environments to ensure rendering quality and interactive performance of city...
Paolo Cignoni, Marco Di Benedetto, Fabio Ganovelli...
JAR
2008
70views more  JAR 2008»
15 years 6 months ago
Assumption-Commitment Support for CSP Model Checking
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
Nick Moffat, Michael Goldsmith