Sciweavers

3145 search results - page 433 / 629
» Key Improvements to XTR
Sort
View
LICS
2003
IEEE
15 years 12 months ago
Labelled Markov Processes: Stronger and Faster Approximations
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
Vincent Danos, Josee Desharnais
ACMICEC
2003
ACM
104views ECommerce» more  ACMICEC 2003»
15 years 12 months ago
Document exchange model for augmenting added value of B2B collaboration
In this paper we present a B2B integration project, which aims to augment the added value of services instead of improving efficiency by automating processes. This paper introduce...
Koichi Hayashi, Riichiro Mizoguchi
PLDI
2003
ACM
15 years 12 months ago
Static array storage optimization in MATLAB
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
Pramod G. Joisha, Prithviraj Banerjee
ADAEUROPE
2003
Springer
15 years 11 months ago
A Quality Model for the Ada Standard Container Library
The existence of a standard container library has been largely recognized as a key feature for improving the quality and effectiveness of Ada programming. In this paper, we aim at...
Xavier Franch, Jordi Marco
AVBPA
2003
Springer
582views Biometrics» more  AVBPA 2003»
15 years 11 months ago
Performance Evaluation of Face Recognition Algorithms on the Asian Face Database, KFDB
Human face is one of the most common and useful keys to a person’s identity. Many algorithms have been developed for automatic face recognition. And a number of commercial produc...
Bon-Woo Hwang, Hyeran Byun, Myung-Cheol Roh, Seong...