Sciweavers

847 search results - page 62 / 170
» An Algebra for Features and Feature Composition
Sort
View
PDSE
1998
131views more  PDSE 1998»
14 years 11 months ago
A Formally Founded Description Technique for Business Processes
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
Veronika Thurner
ICML
2003
IEEE
15 years 10 months ago
The Pre-Image Problem in Kernel Methods
In this paper, we address the problem of finding the pre-image of a feature vector in the feature space induced by a kernel. This is of central importance in some kernel applicatio...
James T. Kwok, Ivor W. Tsang
ICPR
2008
IEEE
15 years 4 months ago
Multilinear analysis based on image texture for face recognition
In this paper, a multilinear approach based on image texture for face recognition is present. First, we extract the texture features of the facial images using the Local Binary Pa...
Hu-chuan Lu, Hao Chen, Yen-wei Chen
IPPS
2003
IEEE
15 years 3 months ago
Towards a Theory of Bisimulation for a Fragment of Verilog
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
Li Yongjian, Jifeng He
IJCAI
1989
14 years 11 months ago
Visual Reasoning in Geometry Theorem Proving
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
Michelle Y. Kim