Sciweavers

166 search results - page 1 / 34
» Automatic Creation of Environment Models via Training
Sort
View
TACAS
2004
Springer
111views Algorithms» more  TACAS 2004»
13 years 10 months ago
Automatic Creation of Environment Models via Training
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
Thomas Ball, Vladimir Levin, Fei Xie
AAAI
2008
13 years 7 months ago
Exposing Parameters of a Trained Dynamic Model for Interactive Music Creation
As machine learning (ML) systems emerge in end-user applications, learning algorithms and classifiers will need to be robust to an increasingly unpredictable operating environment...
Dan Morris, Ian Simon, Sumit Basu
VR
2008
IEEE
173views Virtual Reality» more  VR 2008»
13 years 11 months ago
Rapid Creation of Large-scale Photorealistic Virtual Environments
The rapid and efficient creation of virtual environments has become a crucial part of virtual reality applications. In particular, civil and defense applications often require an...
Charalambos Poullis, Suya You, Ulrich Neumann
DSRT
2002
IEEE
13 years 9 months ago
Nautilus - The Environment for Training and Testing
The paper describes an experimental web-based environment for teaching and testing. The application named Nautilus has been developed using Virtual Reality Modeling Language (VRML...
Jiri Chludil, Jiri Zara
KESAMSTA
2010
Springer
13 years 3 months ago
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...