Sciweavers

1400 search results - page 234 / 280
» Microdynamics of Process Evolution
Sort
View
87
Voted
IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
14 years 10 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün
ICDM
2010
IEEE
158views Data Mining» more  ICDM 2010»
14 years 9 months ago
Patterns on the Connected Components of Terabyte-Scale Graphs
How do connected components evolve? What are the regularities that govern the dynamic growth process and the static snapshot of the connected components? In this work, we study pat...
U. Kang, Mary McGlohon, Leman Akoglu, Christos Fal...
ICIP
2010
IEEE
14 years 9 months ago
A variational multiphase level set approach to simultaneous segmentation and bias correction
This paper presents a novel level set approach to simultaneous tissue segmentation and bias correction of Magnetic Resonance Imaging (MRI) images. We first model the distribution ...
Kaihua Zhang, Lei Zhang, Su Zhang
ICIP
1994
IEEE
15 years 4 months ago
Total Variation Based Image Restoration with Free Local Constraints
The two main plagues of image restoration are oscillations and smoothing. Traditional image restoration techniques prevent parasitic oscillations by resorting to smooth regulariza...
Leonid I. Rudin, Stanley Osher
KBSE
1995
IEEE
15 years 3 months ago
A Model for Decision Maintenance in the WinWin Collaboration Framework
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
Prasanta K. Bose