Sciweavers

2446 search results - page 290 / 490
» Characterizing the Performance of
Sort
View
SEFM
2007
IEEE
15 years 10 months ago
Hardness for Explicit State Software Model Checking Benchmarks
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
Neha Rungta, Eric G. Mercer
HICSS
2006
IEEE
155views Biometrics» more  HICSS 2006»
15 years 10 months ago
Contextualizing Knowledge Management Readiness to Support Change Management Strategies
Research on knowledge management (KM) readiness has matured. However, recent organizational structures have emerged which prevent traditional instruments from adequately measuring...
Mark Keith, Michael Goul, Haluk Demirkan, Jason Ni...
CDC
2009
IEEE
243views Control Systems» more  CDC 2009»
15 years 9 months ago
A distributed newton method for network optimization
— Most existing work uses dual decomposition and subgradient methods to solve network optimization problems in a distributed manner, which suffer from slow convergence rate prope...
Ali Jadbabaie, Asuman E. Ozdaglar, Michael Zargham
TMI
2010
151views more  TMI 2010»
14 years 11 months ago
Quantitative Analysis of Pulmonary Emphysema Using Local Binary Patterns
Abstract--We aim at improving quantitative measures of emphysema in computed tomography (CT) images of the lungs. Current standard measures, such as the relative area of emphysema ...
Lauge Sørensen, Saher B. Shaker, Marleen de...
DCC
2009
IEEE
15 years 11 months ago
Joint Source-Channel Coding at the Application Layer
The multicasting of an independent and identically distributed Gaussian source over a binary erasure broadcast channel is considered. This model applies to a one-to-many transmiss...
Ozgun Y. Bursalioglu, Maria Fresia, Giuseppe Caire...