2694 search results - page 164 / 539 » Frege's New Science |
170
click to vote
IVCNZ
1998
15 years 8 months ago
1998
Chondrons form the fundamental biomechanical and metabolic unit of articular cartilage. But there is no accurate description of chondron volume which is known to change when artic...
190
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
184
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
: Computer games play an increasing role in our modern information society. Besides pure entertainment, games can provide valuable input for social interaction, learning, etc. Rece...
162
click to vote
CAD
2010
Springer
15 years 6 months ago
2010
Springer
We present a new constructive solving approach for systems of 3D geometric constraints. The solver is based on the cluster rewriting approach, which can efficiently solve large sy...
180
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a new method for evaluating boolean set operations between Binary Space Partition (BSP) trees. Our algorithm has many desirable features including both numeric...