Sciweavers

716 search results - page 61 / 144
» time 1997
Sort
View
96
Voted
WSC
1997
15 years 2 months ago
Urban Traffic Simulation with Psycho-Physical Vehicle-Following Models
A psycho-physical vehicle-following model tries to capture both the physical and human components of congested-traffic simulations. These models determine the reactions of the veh...
Thomas Schulze, Thomas Fliess
133
Voted
CAISE
1997
Springer
15 years 5 months ago
Towards Method-Driven Trace Capture
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
Klaus Pohl, Ralf Dömges, Matthias Jarke
ROBOCUP
1997
Springer
98views Robotics» more  ROBOCUP 1997»
15 years 4 months ago
Using an Explicit Model of Teamwork in RoboCup-97
Team ISIS ISI Synthetic successfully participated in the rst international RoboCup soccer tournament RoboCup'97 held in Nagoya, Japan, in August 1997. ISIS won the third-p...
Milind Tambe, Jafar Adibi, Yaser Al-Onaizan, Ali E...
176
Voted
BCEC
1997
15 years 2 months ago
Attractor Network Models of Cortical Associative Memory
Attractor network models of cortical associative memory functions have developed considerably over the past few years. Here we show that we can improve them further, in terms of c...
Anders Lansner, Erik Fransén
103
Voted
SLP
1994
77views more  SLP 1994»
15 years 2 months ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari