Sciweavers

2834 search results - page 380 / 567
» Representing Trees with Constraints
Sort
View
ICWS
2010
IEEE
15 years 5 months ago
Timed Extended Invariants for the Passive Testing of Web Services
The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware techno...
Gerardo Morales, Stéphane Maag, Ana R. Cava...
IJCV
2010
135views more  IJCV 2010»
15 years 4 months ago
On the Apparent Transparency of a Motion Blurred Object
An object which moves during the exposure time results in a blurred smear in the image. We consider the smear as if it was the image of a semitransparent object, and we retrieve i...
Vincenzo Caglioti, Alessandro Giusti
OTM
2010
Springer
15 years 4 months ago
A Basic Characterization of Relation Migration
Abstract. Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tupl...
C. Maria Keet, Alessandro Artale
ACL
2010
15 years 4 months ago
A Generalized-Zero-Preserving Method for Compact Encoding of Concept Lattices
Constructing an encoding of a concept lattice using short bit vectors allows for efficient computation of join operations on the lattice. Join is the central operation any unifica...
Matthew Skala, Victoria Krakovna, János Kra...
DALT
2010
Springer
15 years 1 months ago
A Deduction System for Meaning Negotiation
Meaning negotiation (MN) is the general process with which agents reach an agreement about the meaning of a set of terms. We give here a general model of MN for two agents, in whic...
Elisa Burato, Matteo Cristani, Luca Viganò