Sciweavers

847 search results - page 62 / 170
» An Algebra for Features and Feature Composition
Sort
View
PDSE
1998
131views more  PDSE 1998»
13 years 9 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
14 years 8 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
14 years 2 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
14 years 28 days 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
13 years 8 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