5510 search results - page 202 / 1102 » Mathematics |
172
Voted
CALCO
2005
Springer
16 years 19 days 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...
180
Voted
CIE
2005
Springer
16 years 19 days 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...
142
Voted
CONTEXT
2005
Springer
16 years 19 days 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...
152
click to vote
GD
2005
Springer
16 years 18 days 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...
114
click to vote
ICADL
2005
Springer
16 years 18 days 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...