7380 search results - page 709 / 1476 » Engineering Software Intensive Systems |
207
click to vote
AC
2003
Springer
16 years 15 days ago
2003
Springer
In this paper a new complete system for 3D face recognition is presented. 3D face recognition presents several advantages against 2D face recognition, as, for example, invariance t...
178
click to vote
ICSM
2002
IEEE
16 years 6 days ago
2002
IEEE
This paper is about client-specific customization of systems that implement an on-line Internet service in the presence of simultaneous client-specific views. The problem is that ...
177
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
This paper describes a novel physical icon [3] or “phicon-” based system that can be programmed to issue a range of commands about what the user wishes to do with handdrawn wh...
202
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
195
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...