3771 search results - page 48 / 755 » Subobject Transformation Systems |
AAAI
2004
15 years 1 months ago
2004
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. This paper pres...
ACMACE
2005
ACM
15 years 5 months ago
2005
ACM
This paper proposes a real-time system that transforms your shadows on a floor into colorful visual media. This system is based on the effect of complementary color and multipro...
AMC
2005
14 years 11 months ago
2005
Preconditioned iterative methods are described for the solution of an elliptic partial differential equation over an unit square region with Robbins boundary conditions. Transform...
100
click to vote
IJCAI
1989
15 years 1 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...