5510 search results - page 202 / 1102 » Mathematics |
114
click to vote
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...
138
click to vote
CIE
2005
Springer
15 years 9 months ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
104
click to vote
CONTEXT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Spatial and temporal granularity can be understood as parameters of context restricting the set of accessible objects in a context. Starting from the idea that this selec...
114
click to vote
GD
2005
Springer
15 years 9 months ago
2005
Springer
Force-directed placement is a widely used approach to automatically arranging the nodes and edges of a relational diagram or graph in an aesthetically pleasing manner. The adoption...
ICADL
2005
Springer
15 years 9 months ago
2005
Springer
Geographic and mathematic analyses of historical maps require highly accurate adjustments to manuscripts in order to eliminate distortions caused by time and use. Earlier proposals...