Sciweavers

1681 search results - page 185 / 337
» Speeding up keyword search for search engines
Sort
View
WWW
2004
ACM
16 years 2 months ago
A diagrammatic inference system for the web
We developed a diagrammatic inference system for the World Wide Web. Our system enables the creation of diagrams such that the information contained in them can be searched and in...
Michael Wollowski, Peter Nei, Chris Barrell
PEPM
2009
ACM
15 years 10 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
CHI
1998
ACM
15 years 5 months ago
Hi-Cites: Dynamically Created Citations with Active Highlighting
The original SenseMaker interface for information exploration [2] used tables to present heterogeneous document descriptions. In contrast, printed bibliographies and World Wide We...
Michelle Q. Wang Baldonado, Terry Winograd
CIKM
2009
Springer
15 years 8 months ago
Feature selection for ranking using boosted trees
Modern search engines have to be fast to satisfy users, so there are hard back-end latency requirements. The set of features useful for search ranking functions, though, continues...
Feng Pan, Tim Converse, David Ahn, Franco Salvetti...
DSD
2008
IEEE
139views Hardware» more  DSD 2008»
15 years 3 months ago
Discrete Particle Swarm Optimization for Multi-objective Design Space Exploration
Platform-based design represents the most widely used approach to design System-On-Chip (SOC) applications. In this context, the Design Space Exploration (DSE) phase consists of o...
Gianluca Palermo, Cristina Silvano, Vittorio Zacca...