998 search results - page 72 / 200 » From Feasible Proofs to Feasible Computations |
109
click to vote
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
CSCWD
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a simple and novel structure representation supporting the assembly and disassembly planning of electromechanical products. The proposed Relationship Matrix de...
123
click to vote
BMVC
2000
15 years 3 months ago
2000
In this article we want to introduce first the Gabor wavelet network as a model based approach for an effective and efficient object representation. The Gabor wavelet network has ...
96
Voted
GI
2008
Springer
15 years 2 months ago
2008
Springer
: To overcome limitations of small screens and to provide intuitive ways of interacting with personal data, this work addresses the seamless combination of sensor-enabled phones wi...
RAS
2002
15 years 1 months ago
2002
Autonomous landing is a challenging problem for aerial robots. An autonomous landing manoeuver depends largely on two capabilities: the decision of where to land and the generatio...