Sciweavers

1713 search results - page 254 / 343
» Analysis of Procedure Splitability
Sort
View
ICML
2006
IEEE
14 years 10 months ago
Bayesian learning of measurement and structural models
We present a Bayesian search algorithm for learning the structure of latent variable models of continuous variables. We stress the importance of applying search operators designed...
Ricardo Silva, Richard Scheines
ISBI
2004
IEEE
14 years 10 months ago
A Template-Propagation Method for Segmentation of Filamentous Structures in Electron Tomograms
We report a method for semi-automated segmentation of extended features such as filamentous structures in electron tomograms. We present an application of this method for the auto...
Sriram Subramaniam, Peijun Zhang, David Germain, T...
ISBI
2006
IEEE
14 years 10 months ago
Classification of galactograms using fractal properties of the breast ductal network
Several types of breast carcinomas tend to spread along the surface of the ductal lumen. Spontaneous nipple discharge can be an early symptom of such cancer development that does ...
Despina Kontos, Vasileios Megalooikonomou, Ailar J...
SAS
2009
Springer
147views Formal Methods» more  SAS 2009»
14 years 10 months ago
Polymorphic Fractional Capabilities
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
Hirotoshi Yasuoka, Tachio Terauchi
VLSID
2002
IEEE
130views VLSI» more  VLSID 2002»
14 years 10 months ago
Using Randomized Rounding to Satisfy Timing Constraints of Real-Time Preemptive Tasks
In preemptive real-time systems, a tighter estimate of the Worst Case Response Time(WCRT) of the tasks can be obtained if the layout of the tasks in memory is included in the esti...
Anupam Datta, Sidharth Choudhury, Anupam Basu