Sciweavers

3804 search results - page 104 / 761
» From Here to There
Sort
View
ASWEC
2001
IEEE
15 years 10 months ago
Visualisation of Refinements
Animation tools haveproven to be effective asa means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of...
Neil J. Robinson, Colin J. Fidge
PADL
2000
Springer
15 years 10 months ago
Programming Deep Concurrent Constraint Combinators
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...
Christian Schulte
ICRA
1995
IEEE
81views Robotics» more  ICRA 1995»
15 years 10 months ago
Parts Orienting by Push-Aligning
Programmable parts orienting is an important capability for exible automation systems. Here we study how a part grasped in an unknown orientation by a force-controlled robot can b...
Srinivas Akella, Matthew T. Mason
LCPC
1991
Springer
15 years 9 months ago
Experience in the Automatic Parallelization of Four Perfect-Benchmark Programs
This paper discusses the techniques used to hand-parallelize, for the Alliant FX/80, four Fortran programs from the Perfect-Benchmark suite. The paper also includes the execution ...
Rudolf Eigenmann, Jay Hoeflinger, Zhiyuan Li, Davi...
ACII
2005
Springer
15 years 8 months ago
A Canonical Face Based Virtual Face Modeling
Abstract The research presented here is to create 3D virtual face based on the canonical face model derived from a clustering method on facial feature points. The algorithm efficie...
Seongah Chin