12741 search results - page 133 / 2549 » Editorial and call for papers |
118
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper is a case study in combining theorem provers. We define a derived rule in HOL-Light, CVC PROVE, which calls CVC Lite and translates the resulting proof object back to HO...
172
click to vote
ENTCS
2006
15 years 6 months ago
2006
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...
142
click to vote
IJFCS
2008
15 years 6 months ago
2008
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...
142
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
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...
181
click to vote
JEI
2008
15 years 6 months ago
2008
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...