Sciweavers

392 search results - page 74 / 79
» Active Learning of Group-Structured Environments
Sort
View
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 25 days ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
AGENTS
1997
Springer
13 years 11 months ago
Creatures: Artificial Life Autonomous Software Agents for Home Entertainment
This paper gives a technical description of Creatures, a commercial home-entertainment software package. Creatures provides a simulated environment in which exist a number of synt...
Stephen Grand, Dave Cliff, Anil Malhotra
DEXAW
2004
IEEE
131views Database» more  DEXAW 2004»
13 years 11 months ago
Personalised E-Learning Opportunities - Call for a Pedagogical Domain Knowledge Model
A considerable amount of e-learning content is being delivered via virtual or managed learning environments. These platforms keep track of learners' activities including cont...
Alex G. Büchner, David W. Patterson
WSC
2008
13 years 10 months ago
Creating and using non-kinetic effects: Training joint forces for asymmetric operations
US military forces now face asymmetric military operations. Management of relationships with civilians is often crucial to success. Local population groups can provide critical in...
Hugh Henry, Robert G. Chamberlain
ITICSE
2010
ACM
13 years 9 months ago
JavaSpaces NetBeans: a linda workbench for distributed programming course
In this paper we introduce the JavaSpaces NetBeans IDE (JSN) which integrates the JavaSpaces technology, an implementation of Linda principles in Java, with the NetBeans1 IDE. JSN...
Magdalena Dukielska, Jacek Sroka