811 search results - page 108 / 163 » Flow Theory: An Enhancement |
TPHOL
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...
VISUALIZATION
2000
IEEE
14 years 1 months ago
2000
IEEE
A new multiscale method in surface processing is presented here which combines the image processing methodology based on nonlinear diffusion equations and the theory of geometric ...
ECIS
2004
13 years 10 months ago
2004
: The purpose of this paper is to examine the current state of open source projects in health care environment and the level of collaboration in this field. We underpinned our disc...
ESANN
2004
13 years 10 months ago
2004
This paper presents some interesting results obtained by the algorithm by Bauer, Der and Hermann (BDH) [1] for magnification control in Self-Organizing Maps. Magnification control ...
INTERACT
2003
13 years 10 months ago
2003
: Constructed Narratives is both a human computer interaction research project and interactive art exploration that demonstrates methods by which rigorous research and aesthetic an...