1690 search results - page 179 / 338 » Applications of Metric Coinduction |
ASIAN
2004
Springer
14 years 4 months ago
2004
Springer
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
It is possible to model avatars that learn to simulate object manipulations and other complex actions. A number of applications may benefit from this technique including safety, e...
ICCS
2004
Springer
14 years 4 months ago
2004
Springer
In this paper, two tools are presented: an execution driven cache simulator which relates event metrics to a dynamically built-up call-graph, and a graphical front end able to visu...
ICIAR
2004
Springer
14 years 4 months ago
2004
Springer
Previous work has shown that principal component analysis (PCA) of three-dimensional face models can be used to perform recognition to a high degree of accuracy. However, experimen...
IMR
2004
Springer
14 years 4 months ago
2004
Springer
We describe some extensions to the grid smoothing scheme described in [1, 2] that deal with the following issues: 1) the clustering effect of changing valence in an unstructured ...