Sciweavers

4631 search results - page 145 / 927
» Experiences with an Environment Generation System
Sort
View
160
Voted
ICFEM
1997
Springer
15 years 8 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
149
Voted
AIIDE
2009
15 years 5 months ago
Bowyer: A Planning Tool for Bridging the Gap between Declarative and Procedural Domains
Traditionally, there have been two large obstacles faced in attempting to apply AI techniques to games and other virtual environments. The first obstacle is the gap between the la...
Steven P. Cash, R. Michael Young
ATAL
2007
Springer
15 years 10 months ago
The effect of task and environment factors on M.A.S. coordination and reorganization
Research on organization of Multi-Agent Systems (M.A.S.) has shown that by adapting its organization, a M.A.S. is better able to operate in dynamic environments. In this paper we ...
Mattijs Ghijsen, Wouter N. H. Jansweijer, Bob J. W...
ICPP
2006
IEEE
15 years 10 months ago
Performance Modeling based on Multidimensional Surface Learning for Performance Predictions of Parallel Applications in Non-Dedi
Modeling the performance behavior of parallel applications to predict the execution times of the applications for larger problem sizes and number of processors has been an active ...
Jay Yagnik, H. A. Sanjay, Sathish S. Vadhiyar
JUCS
2007
110views more  JUCS 2007»
15 years 4 months ago
Designing Collaborative Learning Environments Using Digital Games
: Collaborative learning environments require carefully crafted designs –both technical and social. This paper presents a model describing how to design socio-technical environme...
César A. Collazos, Luis A. Guerrero, Jos&ea...