Sciweavers

794 search results - page 1 / 159
» Framework for a XML-based search system
Sort
View
ELPUB
2004
ACM
13 years 11 months ago
Framework for a XML-based search system
- This article presents a framework for a XML based search system composed by three layers: data layer, logic layer and presentation layer. In all three layers XML related technolo...
Pedro Almeida, Joaquim Sousa Pinto, Joaquim Arnald...
HPDC
2008
IEEE
14 years 7 days ago
Ontological framework for a free-form query based grid search engine
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
Chaitali Gupta, Rajdeep Bhowmik, Madhusudhan Govin...
CORR
2010
Springer
194views Education» more  CORR 2010»
13 years 3 months ago
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
Stéphane Lengrand, Roy Dyckhoff, James McKi...
WWW
2005
ACM
14 years 6 months ago
AwareDAV: a generic WebDAV notification framework and implementation
WebDAV needs awareness support in order to be a full-fledged collaboration system, This paper introduces AwareDAV, a new WebDAV extension framework enabling shared awareness throu...
Henning Qin Jehøj, Kaj Grønbæk...
ITSSA
2006
100views more  ITSSA 2006»
13 years 5 months ago
A General Framework for Multi-agent Search with Individual and Global Goals: Stakeholder Search
: Stakeholder search is a general framework for an extension to the improving on the competition approach paradigm for cooperative search that allows for additional individual goal...
Alan Fedoruk, Jörg Denzinger