7405 search results - page 943 / 1481 » Computer Graphics |
145
Voted
ICMT
2010
Springer
15 years 8 months ago
2010
Springer
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
120
click to vote
GG
2008
Springer
15 years 5 months ago
2008
Springer
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
176
click to vote
TGC
2010
Springer
15 years 2 months ago
2010
Springer
We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can...
168
click to vote
ACIVS
2010
Springer
15 years 2 months ago
2010
Springer
Document image analysis is used to segment and classify regions of a document image into categories such as text, graphic and background. In this paper we first review existing doc...
137
click to vote
APVIS
2008
15 years 6 months ago
2008
We present a technique for memory-efficient and time-efficient volume rendering of curvilinear adaptive mesh refinement data defined within extrudable computational spaces. One of...