Sciweavers

1507 search results - page 270 / 302
» Separating Complexity Classes Using Structural Properties
Sort
View
102
Voted
ISBI
2004
IEEE
15 years 11 months ago
Combining Fuzzy Logic and Level Set Methods for 3D MRI Brain Segmentation
We propose to segment volumetric brain structures with a level set method including a fuzzy decision in the design of the evolution force. The role of fuzzy logic is to fuse gradi...
Christian Barillot, Cybèle Ciofolo, Pierre ...
VLDB
2003
ACM
115views Database» more  VLDB 2003»
15 years 11 months ago
Lineage tracing for general data warehouse transformations
Data warehousing systems integrate information from operational data sources into a central repository to enable analysis and mining of the integrated information. During the integ...
Yingwei Cui, Jennifer Widom
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
15 years 8 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
HPDC
2006
IEEE
15 years 5 months ago
Peer to peer size estimation in large and dynamic networks: A comparative study
As the size of distributed systems keeps growing, the peer to peer communication paradigm has been identified as the key to scalability. Peer to peer overlay networks are charact...
Erwan Le Merrer, Anne-Marie Kermarrec, Laurent Mas...
78
Voted
INFOCOM
2003
IEEE
15 years 4 months ago
Pseudo Likelihood Estimation in Network Tomography
Abstract— Network monitoring and diagnosis are key to improving network performance. The difficulties of performance monitoring lie in today’s fast growing Internet, accompani...
Gang Liang, Bin Yu