Sciweavers

4233 search results - page 110 / 847
» Three Paths to Effectiveness
Sort
View
116
Voted
IJCAI
2007
15 years 5 months ago
Web Page Clustering Using Heuristic Search in the Web Graph
Effective representation of Web search results remains an open problem in the Information Retrieval community. For ambiguous queries, a traditional approach is to organize search ...
Ron Bekkerman, Shlomo Zilberstein, James Allan
SAS
2010
Springer
121views Formal Methods» more  SAS 2010»
15 years 2 months ago
Alternation for Termination
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
William R. Harris, Akash Lal, Aditya V. Nori, Srir...
132
Voted
CSB
2005
IEEE
155views Bioinformatics» more  CSB 2005»
15 years 9 months ago
BioNavigation: Using Ontologies to Express Meaningful Navigational Queries Over Biological Resources
Exploiting the complex maze of publicly available Biological resources to implement scientific data collection pipelines poses a multitude of challenges to biologists in accurate...
Zoé Lacroix, Kaushal Parekh, Maria-Esther V...
127
Voted
RT
2005
Springer
15 years 9 months ago
Metropolis Photon Sampling with Optional User Guidance
We present Metropolis Photon Sampling (MPS), a visual importance-driven algorithm for populating photon maps. Photon Mapping and other particle tracing algorithms fail if the phot...
Shaohua Fan, Stephen Chenney, Yu-chi Lai
ICNP
2002
IEEE
15 years 9 months ago
pTCP: An End-to-End Transport Layer Protocol for Striped Connections
The TCP transport layer protocol is designed for connections that traverse a single path between the sender and receiver. However, there are several environments in which multiple...
Hung-Yun Hsieh, Raghupathy Sivakumar