4008 search results - page 506 / 802 » An expressive language of signatures |
207
click to vote
WWW
2005
ACM
16 years 7 days ago
2005
ACM
This paper proposes an incremental maintenance algorithm that efficiently updates the materialized XPath/XSLT views defined using XPath expressions in XP{[],∗,//,vars} . The al...
149
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
161
click to vote
CALCO
2005
Springer
16 years 7 days ago
2005
Springer
This paper shows that bisimulation equivalence does not afford a finite equational axiomatization over the language obtained by enriching Bergstra and Klop’s Basic Process Alge...
191
Voted
CICLING
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The purpose of information extraction (IE) is to find desired pieces of information in natural language texts and store them in a form that is suitable for automatic pro...
169
click to vote
ICADL
2005
Springer
16 years 6 days ago
2005
Springer
Search engines of main-stream literature digital libraries such as ACM Digital Library, Google Scholar, and PubMed employ file-based systems, and provide users with a basic boolean...