1863 search results - page 217 / 373 » Unifying Theories of Objects |
IMAMS
2007
13 years 10 months ago
2007
In this paper, we consider the problem of analysing the shape of an object defined by polynomial equations in a domain. We describe regularity criteria which allow us to determine...
MVA
2007
13 years 10 months ago
2007
This paper presents a recognition method for human behavior identification based on motion history image theory. The motion history image has the advantage that it can record the ...
FAC
2008
13 years 9 months ago
2008
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
ENTCS
2007
13 years 9 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
JUCS
2007
13 years 9 months ago
2007
: The activities developed in this paper were aimed at providing an awareness of the elements that should be considered in quality learning objects instructional design for elearni...