Sciweavers

12697 search results - page 149 / 2540
» Call for Papers
Sort
View
ENTCS
2006
148views more  ENTCS 2006»
15 years 6 months ago
Towards the Semantics and Verification of BPEL4WS
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan ...
IJFCS
2008
121views more  IJFCS 2008»
15 years 6 months ago
Reachability Problems in Low-Dimensional Iterative Maps
In this paper we analyse the dynamics of one-dimensional piecewise maps (PAMs). We show that one-dimensional PAMs are equivalent to pseudo-billiard or so called "strange billi...
Oleksiy Kurganskyy, Igor Potapov, Fernando Sancho-...
INFORMATICALT
2006
90views more  INFORMATICALT 2006»
15 years 6 months ago
Velocity Distribution Profile for Robot Arm Motion Using Rational Frenet-Serret Curves
Abstract. The aim of this paper is to demonstrate that the techniques of Computer Aided Geometric Design such as spatial rational curves and surfaces could be applied to Kinematics...
Reza Ravani, Ali Meghdari
JEI
2008
135views more  JEI 2008»
15 years 6 months ago
Face authentication using a hybrid approach
This paper presents a hybrid approach to face-feature extraction based on the trace transform and the novel kernel partial-least-squares discriminant analysis (KPA). The hybrid app...
Vitomir Struc, France Mihelic, Nikola Pavesic
EOR
2007
69views more  EOR 2007»
15 years 6 months ago
The shortest multipaths problem in a capacitated dense channel
Abstract. In this paper, we present a simple polynomial-time algorithm solving the shortest multipaths problem in particular grid graphs called dense channels. Our work extends the...
Cédric Bentz, Marie-Christine Costa, Christ...