6167 search results - page 41 / 1234 » Can Refinement be Automated |
IMR
1998
Springer
14 years 2 months ago
1998
Springer
In this paper we introduce and discuss a graph structure associated with longest-edge algorithms (algorithms based on the bisection of triangles by the longest-edge) which can be u...
ROOM
2000
13 years 11 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
ENTCS
2002
13 years 9 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
ICIP
2005
IEEE
14 years 3 months ago
2005
IEEE
Accurate human body posture refinement from single or multiple images is essential in many applications, such as vision-based sport coaching and physical rehabilitation. Two main...
IMR
2003
Springer
14 years 3 months ago
2003
Springer
The 8-tetrahedra longest-edge (8T-LE) partition of any tetrahedron is defined in terms of three consecutive edge bisections, the first one performed by the longest-edge. The ass...