904 search results - page 138 / 181 » Towards practical meta-querying |
CBSQ
2003
Springer
14 years 4 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
CA
2002
IEEE
14 years 3 months ago
2002
IEEE
Talking virtual characters are graphical simulations of real or imaginary persons capable of human-like behaviour, most importantly talking and gesturing. Coupled with artificial ...
DEXAW
2002
IEEE
14 years 3 months ago
2002
IEEE
Cultural institutions increasingly see the need to play an important role in the lifelong learning of citizens. Recent trends, particularly in science museums, have been toward su...
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
The ultimate goal of logic synthesis is to explore implementation flexibility toward meeting design targets, such as area, power, and delay. Traditionally, such flexibility is exp...
METRICS
2002
IEEE
14 years 3 months ago
2002
IEEE
The Center for Empirically Based Software Engineering helps improve software development by providing guidelines for selecting development techniques, recommending areas for furth...