Sciweavers

1407 search results - page 99 / 282
» Sponsored Search with Contexts
Sort
View
MIE
2008
123views Healthcare» more  MIE 2008»
13 years 11 months ago
Searching Related Resources in a Quality Controlled Health Gateway: a Feasibility Study
Objective: The neighbors of a document are those documents in a corpus that are most similar to it. The objective of this paper is to develop and evaluate the related resources alg...
Tayeb Merabti, Suzanne Pereira, Catherine Letord, ...
CORR
2010
Springer
151views Education» more  CORR 2010»
13 years 10 months ago
Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
Zachary Snow, David Baelde, Gopalan Nadathur
IPM
2006
77views more  IPM 2006»
13 years 10 months ago
Effective search results summary size and device screen size: Is there a relationship?
In recent years, small screen devices have seen widespread increase in their acceptance and use. Combining mobility with increased technological advances many such devices can now...
Simon O. Sweeney, Fabio Crestani
SEMWEB
2010
Springer
13 years 7 months ago
Preference-Based Web Service Composition: A Middle Ground between Execution and Search
Abstract. Much of the research on automated Web Service Composition (WSC) relates it to an AI planning task, where the composition is primarily done offline prior to execution. Rec...
Shirin Sohrabi, Sheila A. McIlraith
ICONFERENCE
2011
13 years 5 months ago
Loose strands: searching for evidence of public access ICT impact on development
Telecenters, libraries and internet cafés are often credited as being important venues for making information and communication technologies (ICTs) more widely available for peop...
Araba Sey, Michelle Fellows