Sciweavers

4397 search results - page 118 / 880
» Relational Algebra Operations
Sort
View
ECMDAFA
2007
Springer
108views Hardware» more  ECMDAFA 2007»
14 years 4 months ago
An Algebraic View on the Semantics of Model Composition
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
Christoph Herrmann, Holger Krahn, Bernhard Rumpe, ...
FOIS
2006
13 years 11 months ago
An Algebra for Composing Ontologies
Ontologies are used as a means of expressing agreements to a vocabulary shared by a community in a coherent and consistent manner. As it happens in the Internet, ontologies are cr...
Saket Kaushik, Csilla Farkas, Duminda Wijesekera, ...
MVA
2000
154views Computer Vision» more  MVA 2000»
13 years 11 months ago
Feature-Based Real-Time Human Face Tracking Using Lie Algebras
We have developed a novel human face tracking system that operates in real time at the video frame rate without a need for any special hardware. Our approach is based on the use o...
Akira Inoue, Tom Drummond, Roberto Cipolla
ESOP
1990
Springer
14 years 2 months ago
Algebraic Properties of Program Integration
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integrat...
Thomas W. Reps
FSS
2006
85views more  FSS 2006»
13 years 10 months ago
The logic of tied implications, part 2: Syntax
An implication operator A is said to be tied if there is a binary operation T that ties A; that is, the identity A(a, A(b, z)) = A(T (a, b), z) holds for all a, b, z. We aim at th...
Nehad N. Morsi, Wafik Boulos Lotfallah, Moataz Sal...