Sciweavers

1508 search results - page 277 / 302
» A Combination Method for Generating Interpolants
Sort
View
CGF
2010
144views more  CGF 2010»
15 years 2 months ago
Illustrative White Matter Fiber Bundles
Diffusion Tensor Imaging (DTI) has made feasible the visualization of the fibrous structure of the brain white matter. In the last decades, several fiber-tracking methods have bee...
Ron Otten, Anna Vilanova, Huub van De Wetering
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 2 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
ESWA
2006
122views more  ESWA 2006»
15 years 1 months ago
Transmembrane segments prediction and understanding using support vector machine and decision tree
In recent years, there have been many studies focusing on improving the accuracy of prediction of transmembrane segments, and many significant results have been achieved. In spite...
Jieyue He, Hae-Jin Hu, Robert W. Harrison, Phang C...
JSW
2008
202views more  JSW 2008»
15 years 1 months ago
Change Prediction in Object-Oriented Software Systems: A Probabilistic Approach
An estimation of change-proneness of parts of a software system is an active topic in the area of software engineering. Such estimates can be used to predict changes to different c...
Ali R. Sharafat, Ladan Tahvildari
CORR
2008
Springer
161views Education» more  CORR 2008»
15 years 14 days ago
Compressed Sensing of Analog Signals
Abstract--A traditional assumption underlying most data converters is that the signal should be sampled at a rate exceeding twice the highest frequency. This statement is based on ...
Yonina C. Eldar