Sciweavers

9 search results - page 2 / 2
» Composing Different Models of Computation in Kepler and Ptol...
Sort
View
PODS
2004
ACM
158views Database» more  PODS 2004»
14 years 5 months ago
Composing Schema Mappings: Second-Order Dependencies to the Rescue
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wa...
ICDCS
2011
IEEE
12 years 4 months ago
Starlink: Runtime Interoperability between Heterogeneous Middleware Protocols
—Interoperability remains a challenging and growing problem within distributed systems. A range of heterogeneous network and middleware protocols which cannot interact with one a...
Yérom-David Bromberg, Paul Grace, Laurent R...
CVPR
2008
IEEE
14 years 7 months ago
Simultaneous clustering and tracking unknown number of objects
In this paper, we present a novel on-line probabilistic generative model that simultaneously deals with both the clustering and the tracking of an unknown number of moving objects...
Katsuhiko Ishiguro, Takeshi Yamada, Naonori Ueda
ASM
2008
ASM
13 years 7 months ago
A First Attempt to Express KAOS Refinement Patterns with Event B
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
Abderrahman Matoussi, Frédéric Gerva...