6722 search results - page 303 / 1345 » The DSML4MAS development environment |
184
click to vote
ENTCS
2008
15 years 6 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
134
click to vote
IJEH
2006
15 years 6 months ago
2006
: Worldwide costs and the disparity between healthcare in the Western world and the developing countries increase exponentially. Increased involvement of ICT allows, in similarity ...
176
click to vote
JACIII
2008
15 years 6 months ago
2008
The development of on line model-based fault detection systems in machinery improves the operational reliability of industrial systems and reduces the operational and maintenance ...
265
click to vote
IJVR
2006
15 years 6 months ago
2006
In this paper, we will explain our approach to create and animate virtual characters for real-time rendering applications in an easy and intuitive way. Furthermore we show a way ho...
125
click to vote
PRESENCE
2006
15 years 6 months ago
2006
This paper deals with a set of useful methods for presenting large-scale models of real cities in a web environment. While acquisition issues are outlined only briefly, this study...