2016 search results - page 39 / 404 » Megamaps: Construction and Examples |
147
click to vote
DIAGRAMS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
MOC
2002
15 years 3 months ago
2002
Abstract. We analyze the approximation and smoothness properties of quincunx fundamental refinable functions. In particular, we provide a general way for the construction of quincu...
130
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
119
click to vote
AVI
1998
15 years 5 months ago
1998
In this paper we describe Kaleidoquery, a visual query language for object databases with the same expressive power as OQL. We will describe the design philosophy behind the filte...
117
click to vote
AMC
2005
15 years 4 months ago
2005
A constructive algorithm for the completion of arbitrary algebraic partial differential equation systems to involutive ones are presented. Based on it, an implementation ICS for c...