525 search results - page 77 / 105 » Systems Development Using Z Generics |
FGR
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper, we present our newly developed face expression modeling system for expression analysis and identification. Given a face image at a front view, a realistic facial mo...
CCGRID
2007
IEEE
14 years 1 months ago
2007
IEEE
Traditional parallel programming styles have many problems which hinder the development of parallel applications. The message passing style can be too complex for many programmers...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
— The DECOS architecture aims at combining the advantages of federated and integrated systems. The DECOS architecture divides the overall system into a set of nearly-independent ...
SIGMOD
2003
ACM
14 years 7 months ago
2003
ACM
Managing scientific data warehouses requires constant adaptations to cope with changes in processing algorithms, computing environments, database schemas, and usage patterns. We h...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...