1604 search results - page 78 / 321 » Development Separation in Lambda-Calculus |
ICCS
2007
Springer
14 years 4 months ago
2007
Springer
In the analysis of criminal behaviour, a combination of biological, psychological and social aspects may be taken into account. Dynamical modelling methods developed in recent year...
DSRT
2005
IEEE
14 years 3 months ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
We report on our development of a real-time system to deliver sports video highlights of a live game to mobile videophones over existing GPRS networks. To facilitate real-time ana...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— Minimally invasive surgery (MIS) challenges the surgeon’s skills due to his separation from the operation area which can only be reached with long instruments. To ove...
ICWE
2005
Springer
14 years 3 months ago
2005
Springer
Modelling adaptive Web applications is a difficult and complex task. Usually, the development of general system functionality and context adaptation is intertwined. However, adapt...