Sciweavers

454 search results - page 14 / 91
» Model Based Importance Analysis for Minimal Cut Sets
Sort
View
ASMTA
2010
Springer
192views Mathematics» more  ASMTA 2010»
14 years 11 months ago
Packet Loss Minimization in Load-Balancing Switch
Due to the overall growing demand on the network resources and tight restrictions on the power consumption, the requirements to the long-term scalability, cost and performance capa...
Yury Audzevich, Levente Bodrog, Yoram Ofek, Mikl&o...
IPMI
2005
Springer
15 years 7 months ago
A Generalized Level Set Formulation of the Mumford-Shah Functional for Brain MR Image Segmentation
Brain MR image segmentation is an important research topic in medical image analysis area. In this paper, we propose an active contour model for brain MR image segmentation, based ...
Lishui Cheng, Jie Yang, Xian Fan, Yuemin Zhu
BMVC
2010
14 years 11 months ago
Graph-based Analysis of Textured Images for Hierarchical Segmentation
The Texture Fragmentation and Reconstruction (TFR) algorithm has been recently introduced [9] to address the problem of image segmentation by textural properties, based on a suita...
Raffaele Gaetano, Giuseppe Scarpa, Tamás Sz...
129
Voted
DAC
2008
ACM
16 years 2 months ago
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. R...
CCA
2005
Springer
15 years 7 months ago
The Dedekind Reals in Abstract Stone Duality
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
Andrej Bauer, Paul Taylor 0002