10996 search results - page 1844 / 2200 » Future Directions in Computing |
184
click to vote
CSL
2005
Springer
16 years 8 days ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
172
click to vote
DAGM
2005
Springer
16 years 8 days ago
2005
Springer
This paper addresses a common problem in dealing with range images. We propose a novel method to fit surfaces of known types via a parameter decomposition approach. This approach ...
180
click to vote
DCOSS
2005
Springer
16 years 8 days ago
2005
Springer
Sensor network localization continues to be an important research challenge. The goal of localization is to assign geographic coordinates to each node in the sensor network. Locali...
175
click to vote
EMMCVPR
2005
Springer
16 years 8 days ago
2005
Springer
We propose a novel technique based on spherical splines for brain surface representation and analysis. This research is strongly inspired by the fact that, for brain surfaces, it i...
204
click to vote
ESOP
2005
Springer
16 years 8 days ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...