Sciweavers

167 search results - page 4 / 34
» Towards a Connector Algebra
Sort
View
76
Voted
ENTCS
2006
161views more  ENTCS 2006»
14 years 9 months ago
Algebraic Specification and Coalgebraic Synthesis of Mealy Automata
We introduce the notion of functional stream derivative, generalising the notion of input derivative of rational expressions (Brzozowski 1964) to the case of stream functions over...
Jan J. M. M. Rutten
VDB
2000
188views Database» more  VDB 2000»
14 years 11 months ago
Toward feature Algebras in Visual Databases: The Case for a Histogram Algebra
Searching and managing large archives of visual data, such as images and video, is made hard by the lack of proper integration between the visual aspects of the problem (image pro...
Amarnath Gupta, Simone Santini
81
Voted
ENTCS
2006
114views more  ENTCS 2006»
14 years 9 months ago
Towards Efficient, Typed LR Parsers
The LR parser generators that are bundled with many functional programming language implementations produce code that is untyped, needlessly inefficient, or both. We show that, us...
François Pottier, Yann Régis-Gianas
ICFEM
2010
Springer
14 years 8 months ago
A Semantic Model for Service Composition with Coordination Time Delays
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...
Natallia Kokash, Behnaz Changizi, Farhad Arbab