Sciweavers

2299 search results - page 246 / 460
» Logical Data Expiration
Sort
View
CADE
2003
Springer
16 years 7 months ago
Automating the Dependency Pair Method
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
Nao Hirokawa, Aart Middeldorp
SIGMOD
2009
ACM
143views Database» more  SIGMOD 2009»
16 years 6 months ago
Building search applications with Marklogic Server
Keyword search is recognized as an important technique to unlocking the information found in both structured and semistructured information. With XML as the data model and XQuery ...
Ron Avnur
DEXAW
2009
IEEE
171views Database» more  DEXAW 2009»
16 years 1 months ago
Ontology Knowledge Authoring by Natural Language Empowerment
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...
Alfio Ferrara, Stefano Montanelli, Gaia Varese, Si...
TIME
2009
IEEE
16 years 1 months ago
The AXML Artifact Model
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...
Serge Abiteboul, Pierre Bourhis, Alban Galland, Bo...
161
Voted
BIRTHDAY
2007
Springer
16 years 23 days ago
Linear Recursive Functions
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...
Sandra Alves, Maribel Fernández, Már...