Sciweavers

2171 search results - page 60 / 435
» A Generic Process Algebra
Sort
View
113
Voted
ADBIS
2004
Springer
105views Database» more  ADBIS 2004»
15 years 6 months ago
Event Database Processing
: The purpose of the current work is to explore and improve the analysis of event data stored in event repositories, enabling the application of specialized event algebra operators...
Joris Mihaeli, Opher Etzion
95
Voted
ROBOTICA
2008
100views more  ROBOTICA 2008»
15 years 6 days ago
A symbolic approach to polyhedral scene analysis by parametric calotte propagation
Polyhedral scene analysis studies whether a 2D line drawing of a 3D polyhedron is realizable in the space, and if so, parameterizing the space of all possible realizations. For gen...
Hongbo Li, Lina Zhao, Ying Chen
197
Voted
ENTCS
2006
273views more  ENTCS 2006»
15 years 22 days ago
Operator Algebras and the Operational Semantics of Probabilistic Languages
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
Alessandra Di Pierro, Herbert Wiklicky
KBSE
2010
IEEE
14 years 10 months ago
Model comparison with GenericDiff
This paper proposes GenericDiff, a general framework for model comparison. The main idea is to separate the specification of domain-specific model properties and syntax from the g...
Zhenchang Xing
JMLC
1997
Springer
15 years 4 months ago
An Object-Oriented Database Programming Environment for Oberon
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
Jacques Supcik, Moira C. Norrie