Sciweavers

4666 search results - page 177 / 934
» Equations on Timed Languages
Sort
View
CAISE
2008
Springer
15 years 7 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
IR
2000
15 years 5 months ago
Exploiting the Similarity of Non-Matching Terms at Retrieval Time
In classic InformationRetrieval systems a relevant document will not be retrieved in response to a query if the document and query representations do not share at least one term. T...
Fabio Crestani
165
Voted
VR
2003
IEEE
267views Virtual Reality» more  VR 2003»
15 years 11 months ago
An Experiment Comparing Double Exponential Smoothing and Kalman Filter-Based Predictive Tracking Algorithms
We present an experiment comparing double exponential smoothing and Kalman filter-based predictive tracking algorithms with derivative free measurement models. Our results show t...
Joseph J. LaViola Jr.
ICDE
2007
IEEE
133views Database» more  ICDE 2007»
16 years 7 months ago
Evolution of Distributed Web Data: An Application of the Reactive Language XChange
Many data sources on the Web evolve in the sense that they change their content over time, typically as a reaction to some event. Such changes often need to be mirrored in data on...
François Bry, Hendrik Grallert, Michael Eck...
TABLEAUX
2005
Springer
15 years 11 months ago
Pdk: The System and Its Language
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...