7623 search results - page 1308 / 1525 » Constructive Volume Modeling |
121
click to vote
IV
2002
IEEE
15 years 8 months ago
2002
IEEE
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...
157
click to vote
PG
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we develop an interactive haptic system, which can be further aid for digital Chinese painting. When an artist is holding our force feedback device, one feels like ...
159
click to vote
TPHOL
2002
IEEE
15 years 8 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
132
click to vote
ICDT
2010
ACM
15 years 8 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
149
click to vote
APN
2010
Springer
15 years 8 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...