1604 search results - page 90 / 321 » Development Separation in Lambda-Calculus |
FGR
1996
IEEE
14 years 2 months ago
1996
IEEE
A method for the recovery of the temporal structure and phasesin natural gesture is presented. The work is motivated by recent developments in the theory of natural gesture which ...
EDOC
2004
IEEE
14 years 2 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
EUC
2006
Springer
14 years 1 months ago
2006
Springer
Software programmers want to manage pure software, not hardware-software entanglements. Unfortunately, traditional development methodologies cannot clearly separate hardware and so...
CEC
2003
IEEE
14 years 1 months ago
2003
IEEE
Due to air traffic growth and especially hubs development, major European airports can easily become bottlenecks in the global air transportation network. Therefore, accurate model...
AIME
1995
Springer
14 years 1 months ago
1995
Springer
: A unified controlled medical vocabulary has been cited as one of the grand challenges facing Medical Informatics. We would restate this challenge as ‘achieving a re-usable and ...