Sciweavers

462 search results - page 36 / 93
» Port-Hamiltonian approaches to motion generation for mechani...
Sort
View
ICFP
2005
ACM
15 years 9 months ago
Recursive type generativity
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
Derek Dreyer
IJCV
2002
86views more  IJCV 2002»
14 years 9 months ago
Panoramic Depth Imaging: Single Standard Camera Approach
In this paper we present a panoramic depth imaging system. The system is mosaic-based which means that we use a single rotating camera and assemble the captured images in a mosaic....
Peter Peer, Franc Solina
HICSS
1997
IEEE
135views Biometrics» more  HICSS 1997»
15 years 2 months ago
Animation for Validation of Business System Specifications
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
V. Lalioti
FGCN
2008
IEEE
125views Communications» more  FGCN 2008»
15 years 4 months ago
Coordinating System Software for Power Savings
Power consumption is becoming a primary concern as a result of tremendous increasing in computer power usage. Innumerable methods and techniques have been exploited to address thi...
Lingxiang Xiang, Jiangwei Huang, Tianzhou Chen
GECCO
2006
Springer
174views Optimization» more  GECCO 2006»
15 years 1 months ago
Optimizing of NC tool paths for five-axis milling using evolutionary algorithms on wavelets
Computer aided NC-path generation of five-axis milling using a standard CAM-system does usually not take machine dynamics and kinematics into account. This results in machine move...
Klaus Weinert, Andreas Zabel, Heinrich Müller...