Sciweavers

3680 search results - page 275 / 736
» cases 2010
Sort
View
ENVSOFT
2007
91views more  ENVSOFT 2007»
15 years 6 months ago
Integrated assessment modelling for water resource allocation and management: A generalised conceptual framework
Nodal network approaches are a common framework for considering water allocation in river basins. In this type of model framework, a river basin is represented as a series of node...
Rebecca A. Letcher, Barry F. W. Croke, Anthony J. ...
IEEEHPCS
2010
15 years 5 months ago
Extending the educational scope of a particle-based simulation framework through parallelization
Particle systems have been incorporated into a wide variety of applications in both academia and industry. They can be employed to investigate complex natural phenomena, illustrat...
T. Francis Chen, Gladimir V. G. Baranoski
TSE
2010
123views more  TSE 2010»
15 years 1 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
APVIS
2010
15 years 8 months ago
Quantitative effectiveness measures for direct volume rendered images
With the rapid development in graphics hardware and volume rendering techniques, many volumetric datasets can now be rendered in real time on a standard PC equipped with a commodi...
Yingcai Wu, Huamin Qu, Ka-Kei Chung, Ming-Yuen Cha...
LREC
2010
156views Education» more  LREC 2010»
15 years 8 months ago
Incorporating Speech Synthesis in the Development of a Mobile Platform for e-learning
This presentation and accompanying demonstration focuses on the development of a mobile platform for e-learning purposes with enhanced text-to-speech capabilities. It reports on a...
Justus Roux, Pieter Scholtz, Daleen Klop, Claus Po...