Sciweavers

2542 search results - page 223 / 509
» One step ahead
Sort
View
90
Voted
TASE
2008
IEEE
15 years 7 months ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
92
Voted
3DIM
2007
IEEE
15 years 7 months ago
Range Image Segmentation for Modeling and Object Detection in Urban Scenes
We present fast and accurate segmentation algorithms of range images of urban scenes. The utilization of these algorithms is essential as a pre-processing step for a variety of ta...
Cecilia Chao Chen, Ioannis Stamos
92
Voted
ACSD
2007
IEEE
81views Hardware» more  ACSD 2007»
15 years 7 months ago
A model-driven design approach for mechatronic systems
The software design is one of the most challenging tasks during the design of a mechatronic system. On one hand, it has to provide solutions to deal with concurrency and timelines...
Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis,...
71
Voted
ARITH
2007
IEEE
15 years 7 months ago
Asymmetric Squaring Formulae
Abstract. We present efficient squaring formulae based on the Toom-Cook multiplication algorithm. The latter always requires at least one non-trivial constant division in the inte...
Jaewook Chung, M. Anwar Hasan
CIRA
2007
IEEE
177views Robotics» more  CIRA 2007»
15 years 7 months ago
Robotic Self-Replication in a Structured Environment without Computer Control
— The ability to self-replicate is one of the distinctive features of living organisms. Robots capable of self-replication would have a profound impact on the field of robotics ...
Steven Eno, Lauren Mace, Jianyi Liu, Brian Benson,...