Sciweavers

3984 search results - page 519 / 797
» A Model-Driven Transformation Method
Sort
View
AVBPA
2001
Springer
116views Biometrics» more  AVBPA 2001»
15 years 10 months ago
Face Identification and Verification via ECOC
We propose a novel approach to face identification and verification based on the Error Correcting Output Coding (ECOC) classifier design concept. In the training phase the client s...
Josef Kittler, Reza Ghaderi, Terry Windeatt, Jiri ...
FSTTCS
2000
Springer
15 years 10 months ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...
ICSE
2000
IEEE-ACM
15 years 10 months ago
A formal approach for designing CORBA based applications
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alb...
ICCAD
1995
IEEE
95views Hardware» more  ICCAD 1995»
15 years 10 months ago
A sequential quadratic programming approach to concurrent gate and wire sizing
With an ever-increasing portion of the delay in highspeed CMOS chips attributable to the interconnect, interconnect-circuit design automation continues to grow in importance. By t...
Noel Menezes, Ross Baldick, Lawrence T. Pileggi
ICECCS
1995
IEEE
228views Hardware» more  ICECCS 1995»
15 years 10 months ago
A combined functional and object-oriented approach to software design
Large and complex software systems contain a variety of entities objects and a complex control system transformationfunction. The pure object-orienteddesign and structured des...
Haifeng Qian, Eduardo B. Fernández, Jie Wu