6167 search results - page 41 / 1234 » Can Refinement be Automated |
117
click to vote
IMR
1998
Springer
15 years 5 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...
96
Voted
ROOM
2000
15 years 2 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...
106
Voted
ENTCS
2002
15 years 17 days 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...
106
Voted
ICIP
2005
IEEE
15 years 6 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...
69
Voted
IMR
2003
Springer
15 years 6 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...