Sciweavers

5234 search results - page 619 / 1047
» Method Components - Rationale Revealed
Sort
View
INFSOF
2006
129views more  INFSOF 2006»
15 years 6 months ago
An interactive service customization model
: Mass customization has become one of the key strategies for a service provider to differentiate itself from its competitors in a highly segmented global service market. This pape...
Jian Cao, Jie Wang, Kincho H. Law, Shen-sheng Zhan...
JLP
2008
129views more  JLP 2008»
15 years 6 months ago
Program and proof optimizations with type systems
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
Ando Saabas, Tarmo Uustalu
FGCS
2007
107views more  FGCS 2007»
15 years 6 months ago
Algorithmic re-structuring and data replication for protein structure comparison on a GRID
This paper describes a major restructuring of PROuST, a method for protein structure comparison, for an efficient porting to the Grid. PROuST consists of different components: an...
Giovanni Ciriello, M. Comin, Concettina Guerra
PAMI
2006
183views more  PAMI 2006»
15 years 6 months ago
A Model-Based Approach for Estimating Human 3D Poses in Static Images
Estimating human body poses in static images is important for many image understanding applications including semantic content extraction and image database query and retrieval. Th...
Mun Wai Lee, Isaac Cohen
RAS
2006
100views more  RAS 2006»
15 years 6 months ago
Aibo and Webots: Simulation, wireless remote control and controller transfer
This article introduces a new software tool that provides an accurate simulation of Sony Aibo robots and the capability to transfer controller programs from the simulation to the ...
Lukas Hohl, Ricardo A. Téllez, Olivier Mich...