Sciweavers

6036 search results - page 70 / 1208
» Web search solved
Sort
View
SAT
2007
Springer
73views Hardware» more  SAT 2007»
14 years 5 months ago
SAT Solving for Termination Analysis with Polynomial Interpretations
Abstract. Polynomial interpretations are one of the most popular techniques for automated termination analysis and the search for such interpretations is a main bottleneck in most ...
Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, ...
POLICY
2007
Springer
14 years 5 months ago
Web Services Security: Challenges and Techniques
Web Services based computing is currently an important driver for the software industry. While several standards bodies (such as W3C and OASIS) are laying the foundation for Web S...
Anoop Singhal
UM
2009
Springer
14 years 5 months ago
Google Shared. A Case-Study in Social Search
Web search is the dominant form of information access and everyday millions of searches are handled by mainstream search engines, but users still struggle to find what they are lo...
Barry Smyth, Peter Briggs, Maurice Coyle, Michael ...
WWW
2007
ACM
14 years 12 months ago
Understanding web search via a learning paradigm
Investigating whether one can view Web searching as a learning process, we examined the searching characteristics of 41 participants engaged in 246 searching tasks. We classified ...
Bernard J. Jansen, Brian Keith Smith, Danielle L. ...
AI
2005
Springer
14 years 4 months ago
SWAMI: Searching the Web Using Agents with Mobility and Intelligence
The rapid growth of the World Wide Web has complicated the process of web browsing by providing an overwhelming wealth of choices for the end user. To alleviate this burden, intell...
Mark Kilfoil, Ali A. Ghorbani