Sciweavers

1642 search results - page 233 / 329
» A Heuristic Method for Business Process Model Evaluation
Sort
View
EDBT
2010
ACM
189views Database» more  EDBT 2010»
15 years 11 months ago
Efficient physical operators for cost-based XPath execution
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
Haris Georgiadis, Minas Charalambides, Vasilis Vas...
CIKM
2009
Springer
16 years 27 days ago
MagicCube: choosing the best snippet for each aspect of an entity
Wikis are currently used in business to provide knowledge management systems, especially for individual organizations. However, building wikis manually is a laborious and time-con...
Yexin Wang, Li Zhao, Yan Zhang
ECAI
2004
Springer
15 years 10 months ago
Lakatos-Style Automated Theorem Modification
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
Simon Colton, Alison Pease
DEXAW
2004
IEEE
82views Database» more  DEXAW 2004»
15 years 10 months ago
Semantic Interoperability of Field-based Thematic Geographic Information
A model for semantic interoperability among a repository of geographic datasets from different providers is proposed in this article. Specifically, this approach focuses on qualif...
Toni Navarrete, Josep Blat, Maurici Ruiz
VLDB
2010
ACM
190views Database» more  VLDB 2010»
15 years 4 months ago
Continuous authentication on relational streams
According to the database outsourcing model, a data owner delegates database functionality to a thirdparty service provider, which answers queries received from clients. Authentic...
Stavros Papadopoulos, Yin Yang, Dimitris Papadias