1993 search results - page 298 / 399 » On Action Theory Change |
IWC
2010
13 years 8 months ago
2010
This paper represents a personal view of the state of HCI as a design discipline and as a scientific discipline, and how this is changing in the face...
STTT
2010
13 years 8 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
ATMOS
2010
13 years 8 months ago
2010
Traditionally, the coordination of multiple traffic signals and the traffic assignment problem in an urban street network are considered as two separate optimization problems. How...
WEBI
2010
Springer
13 years 8 months ago
2010
Springer
A biologically inspired cognitive model is presented for human decision making and applied to the simulation of the web user. The model is based on the Neurophysiology description ...
JDCTA
2010
13 years 4 months ago
2010
In order to supply a gap of current resonance vibration and STFT demodulation method applied to rolling bearing fault feature extraction of city rail vehicle, a fault diagnosis me...