3653 search results - page 82 / 731 » On Recognizable Timed Languages |
128
Voted
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
147
click to vote
CAISE
2008
Springer
15 years 7 months ago
2008
Springer
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...
127
click to vote
IR
2000
15 years 4 months ago
2000
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...
240
click to vote
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
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...
146
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
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...