Sciweavers

2925 search results - page 312 / 585
» Input Modeling Using Quantile Statistical Methods
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
15 years 20 days ago
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
Heiko Koziolek, Viktoria Firus
109
Voted
PRICAI
2010
Springer
14 years 11 months ago
Visual Query Expansion via Incremental Hypernetwork Models of Image and Text
Abstract. Humans can associate vision and language modalities and thus generate mental imagery, i.e. visual images, from linguistic input in an environment of unlimited inflowing i...
Min-Oh Heo, Myunggu Kang, Byoung-Tak Zhang
110
Voted
JCST
2010
189views more  JCST 2010»
14 years 7 months ago
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
Osman Hasan, Sofiène Tahar
VISUALIZATION
1995
IEEE
15 years 4 months ago
Automatic Generation of Triangular Irregular Networks Using Greedy Cuts
We propose a new approach to the automatic generation of triangular irregular networks from dense terrain models. We have developed and implemented an algorithm based on the greed...
Cláudio T. Silva, Joseph S. B. Mitchell, Ar...
VMV
2001
248views Visualization» more  VMV 2001»
15 years 2 months ago
Using an Extended Hough Transform Combined with a Kalman Filter to Segment Tubular Structures in 3D Medical Images
We present a new approach for the coarse segmentation of tubular structures in 3D image data. Our algorithm, which requires only few initial values and minimal user interaction, c...
Thorsten Behrens, Karl Rohr, H. Siegfried Stiehl