Sciweavers

682 search results - page 112 / 137
» Game Development Using Design-by-Contract
Sort
View
ROBOCUP
1999
Springer
115views Robotics» more  ROBOCUP 1999»
14 years 26 days ago
UBU Team
The underlying research topics and the architecture of the UBU team are briefly described. The aim of developing UBU is to subject a series of tools and procedures for agent decis...
Johan Kummeneje, David Lybäck, Håkan L....
FCT
2003
Springer
14 years 1 months ago
Graph Searching, Elimination Trees, and a Generalization of Bandwidth
The bandwidth minimization problem has a long history and a number of practical applications. In this paper we introduce a natural extension of bandwidth to partially ordered layo...
Fedor V. Fomin, Pinar Heggernes, Jan Arne Telle
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
14 years 1 months ago
Measuring Cognitive Load with EventStream Software Framework
We have constructed “EventStream” data collection and analysis software framework to support a wide variety of sensors that measure user’s physical state. The framework’s ...
Christoph Aschwanden, Jan Stelovsky
FOIS
2006
13 years 10 months ago
A Dynamic Theory of Ontology
Natural languages are easy to learn by infants, they can express any thought that any adult might ever conceive, and they accommodate the limitations of human breathing rates and s...
John F. Sowa
JCDL
2009
ACM
150views Education» more  JCDL 2009»
14 years 1 months ago
Science teachers' use of online resources and the digital library for Earth system education
A three-part study of teachers’ use of online resources and of the Digital Library for Earth System Education (DLESE) was conducted from 2004 through summer 2006. The first two ...
Lecia Jane Barker