Sciweavers

1537 search results - page 150 / 308
» On sets not belonging to algebras
Sort
View
ICDE
2007
IEEE
126views Database» more  ICDE 2007»
15 years 11 months ago
Organizing Hidden-Web Databases by Clustering Visible Web Documents
In this paper we address the problem of organizing hidden-Web databases. Given a heterogeneous set of Web forms that serve as entry points to hidden-Web databases, our goal is to ...
Luciano Barbosa, Juliana Freire, Altigran Soares d...
MICCAI
2008
Springer
15 years 11 months ago
3D Brain Segmentation Using Active Appearance Models and Local Regressors
We describe an efficient and accurate method for segmenting sets of subcortical structures in 3D MR images of the brain. We first find the approximate position of all the structure...
Kolawole O. Babalola, Timothy F. Cootes, Carole ...
INFOCOM
2009
IEEE
15 years 4 months ago
Minimizing Probing Cost for Detecting Interface Failures: Algorithms and Scalability Analysis
— The automatic detection of failures in IP paths is an essential step for operators to perform diagnosis or for overlays to adapt. We study a scenario where a set of monitors se...
Hung Xuan Nguyen, Renata Teixeira, Patrick Thiran,...
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
15 years 4 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
INFOCOM
2007
IEEE
15 years 4 months ago
Congestion Control in Distributed Media Streaming
— Distributed media streaming, which uses multiple senders to collaboratively and simultaneously stream media content to a receiver, poses new challenges in congestion control. S...
Lin Ma, Wei Tsang Ooi