Sciweavers

794 search results - page 1 / 159
» Framework for a XML-based search system
Sort
View
93
Voted
ELPUB
2004
ACM
15 years 4 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
15 years 5 months 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...
98
Voted
CORR
2010
Springer
194views Education» more  CORR 2010»
14 years 8 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...
64
Voted
WWW
2005
ACM
15 years 11 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»
14 years 10 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