Sciweavers

16859 search results - page 397 / 3372
» Generative software development
Sort
View
COMPSAC
2003
IEEE
16 years 3 days ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
IUI
2003
ACM
16 years 2 days ago
A virtual patient based on qualitative simulation
In this paper, we describe the development of a virtual human to be used for training applications in the field of cardiac emergencies. The system integrates AI techniques for sim...
Marc Cavazza, Altion Simo
AC
2003
Springer
16 years 1 days ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
ICCSA
2003
Springer
16 years 17 hour ago
Interactive Stereoscopic Visualization of Very Large Visible Men on CAVE
Abstract. We have developed an interactive visualization software for an immersive 3D virtual environment system, which generates stereoscopic images from huge human volume dataset...
Insung Ihm, Bumdae Lee, Joong-Youn Lee, Minsu Joh,...
FUN
2010
Springer
306views Algorithms» more  FUN 2010»
15 years 11 months ago
Leveling-Up in Heroes of Might and Magic III
We propose a model for level-ups in Heroes of Might and Magic III, and give an O 1 ε2 ln 1 δ learning algorithm to estimate the probabilities of secondary skills induced by any ...
Dimitrios I. Diochnos