Sciweavers

476 search results - page 22 / 96
» Information Algebras
Sort
View
FASE
2007
Springer
14 years 1 months ago
Information Preserving Bidirectional Model Transformations
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank...
ENTCS
2006
146views more  ENTCS 2006»
13 years 7 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
TIME
1994
IEEE
13 years 11 months ago
An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
Robert A. Morris, William D. Shoaff, Lina Khatib
IROS
2009
IEEE
183views Robotics» more  IROS 2009»
14 years 2 months ago
Image based visual servoing using algebraic curves applied to shape alignment
— Visual servoing schemes generally employ various image features (points, lines, moments etc.) in their control formulation. This paper presents a novel method for using boundar...
Ahmet Yasin Yazicioglu, Berk Calli, Mustafa Unel
ECAI
2000
Springer
13 years 11 months ago
Qualitative Spatial Reasoning about Line Segments
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
Reinhard Moratz, Jochen Renz, Diedrich Wolter