4126 search results - page 498 / 826 » Set based logic programming |
134
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message co...
157
click to vote
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
It is widely recognized that production rules in database systems can be used to automatically maintain derived data such as views. However, writing a correct set of rules for e ci...
150
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
141
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
106
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Current Web applications embed sophisticated user interfaces and business logic. The original interaction paradigm of the Web based on static content pages that are brows...