755 search results - page 15 / 151 » ideas 2005 |
82
Voted
CIE
2005
Springer
15 years 3 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...
CONTEXT
2005
Springer
15 years 3 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...
CP
2005
Springer
15 years 3 months ago
2005
Springer
Many problems in chemistry, robotics or molecular biology can be expressed as a Distance CSP4 . In this paper, we propose a specific methodology for tackling uncertainties in this...
CP
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we overview our recent work and outline our current line of research: First, we describe the WCSP framework and its related local consistencies. Second, the Max-SAT p...
DSSCV
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this note we study the local behavior of singularities occurring in scale space under Gaussian blurring. Based on ideas from singularity theory for vector fields this...