Sciweavers

2558 search results - page 115 / 512
» Analysis of Generalized Pattern Searches
Sort
View
CHI
2004
ACM
15 years 10 months ago
Link colors guide a search
While much basic research exists on the effects of various visual properties on visual search, the application of such research to real-world tasks is lacking. The purpose of this...
Tim Halverson, Anthony J. Hornof
WSDM
2010
ACM
315views Data Mining» more  WSDM 2010»
15 years 7 months ago
SBotMiner: Large Scale Search Bot Detection
In this paper, we study search bot traffic from search engine query logs at a large scale. Although bots that generate search traffic aggressively can be easily detected, a large ...
Fang Yu, Yinglian Xie, Qifa Ke
CAV
1999
Springer
125views Hardware» more  CAV 1999»
15 years 2 months ago
Model Checking of Safety Properties
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
Orna Kupferman, Moshe Y. Vardi
ECML
1993
Springer
15 years 2 months ago
SIA: A Supervised Inductive Algorithm with Genetic Search for Learning Attributes based Concepts
This paper describes a genetic learning system called SIA, which learns attributes based rules from a set of preclassified examples. Examples may be described with a variable numbe...
Gilles Venturini
CLEF
2008
Springer
14 years 11 months ago
Building a Diversity Featured Search System by Fusing Existing Tools
This paper describes our diversity featured retrieval system which are built for the task of ImageCLEFPhoto 2008. Two existing tools are used: Solr and Carrot2 . We have experimen...
Jiayu Tang, Thomas Arni, Mark Sanderson, Paul Clou...