1604 search results - page 73 / 321 » Development Separation in Lambda-Calculus |
CVPR
1996
IEEE
15 years 3 days ago
1996
IEEE
A family of structure from motion algorithms called the factorization method has been recently developed from the orthographic projection model to the afJine camera model [23, i6,...
EDOC
2007
IEEE
14 years 4 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
ICWL
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...
VAMOS
2007
Springer
14 years 4 months ago
2007
Springer
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...
SKG
2006
IEEE
14 years 4 months ago
2006
IEEE
Making a truly useful massively multi-agent system is difficult since the actions of the full ensemble of agents cannot be controlled by designing just one agent. It is critical ...