3319 search results - page 217 / 664 » Type Theoretical Databases |
84
Voted
CAD
2006
Springer
14 years 11 months ago
2006
Springer
Fat conic section and fat conic spline are defined. With well established properties of fat conic splines, the problem of approximating a ruled surface by a tangent smooth cone sp...
174
click to vote
PRL
2006
14 years 10 months ago
2006
Various types of moments have been used to recognize image patterns in a number of applications. However, only few works have paid attention to the completeness property of the in...
AC
2005
Springer
14 years 10 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
103
Voted
CAD
2005
Springer
14 years 10 months ago
2005
Springer
For generalized cylinders (GC) defined by contours of discrete curves, we propose two algorithms to generate GC surfaces (1) in polygonal meshes and (2) in cylindrical type of dev...
ICRA
2010
IEEE
14 years 9 months ago
2010
IEEE
— This paper addresses the problem of acquiring a hierarchically structured robotic skill in a nonstationary environment. This is achieved through a combination of learning primi...