Sciweavers

271 search results - page 17 / 55
» Comparison of two interactive search refinement techniques
Sort
View
AUSAI
2007
Springer
15 years 7 months ago
Advances in Local Search for Satisfiability
In this paper we describe a stochastic local search (SLS) procedure for finding satisfying models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on th...
Duc Nghia Pham, John Thornton, Charles Gretton, Ab...
JSAT
2008
113views more  JSAT 2008»
15 years 3 months ago
Combining Adaptive and Dynamic Local Search for Satisfiability
In this paper we describe a stochastic local search (SLS) procedure for finding models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on the features...
Duc Nghia Pham, John Thornton, Charles Gretton, Ab...
142
Voted
BMCBI
2010
161views more  BMCBI 2010»
15 years 3 months ago
FRASS: the web-server for RNA structural comparison
Background: The impressive increase of novel RNA structures, during the past few years, demands automated methods for structure comparison. While many algorithms handle only small...
Svetlana Kirillova, Silvio C. E. Tosatto, Oliviero...
128
Voted
INTR
2007
101views more  INTR 2007»
15 years 3 months ago
Page ranking and topic-sensitive page ranking: micro-changes and macro-impact
Purpose – The purpose of this paper is to examine the marketing and sales implications of page ranking techniques, in terms of how companies may use knowledge of their operation...
Felix Rimbach, Marius Dannenberg, Udo Bleimann
136
Voted
CHI
2011
ACM
14 years 7 months ago
Materializing the query with facet-streams: a hybrid surface for collaborative search on tabletops
We introduce “Facet-Streams”, a hybrid interactive surface for co-located collaborative product search on a tabletop. Facet-Streams combines techniques of information visualiz...
Hans-Christian Jetter, Jens Gerken, Michael Zö...