Sciweavers

6014 search results - page 28 / 1203
» Parametric Analysis of Computer Systems
Sort
View
DAC
2003
ACM
14 years 12 months ago
Death, taxes and failing chips
In the way they cope with variability, present-day methodologies are onerous, pessimistic and risky, all at the same time! Dealing with variability is an increasingly important as...
Chandu Visweswariah
ECCV
2006
Springer
15 years 25 days ago
Patch-Based Texture Edges and Segmentation
A novel technique for extracting texture edges is introduced. It is based on the combination of two ideas: the patch-based approach, and non-parametric tests of distributions. Our ...
Lior Wolf, Xiaolei Huang, Ian Martin, Dimitris N. ...
ENDM
2000
174views more  ENDM 2000»
13 years 10 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
BIRTHDAY
2009
Springer
13 years 8 months ago
Structural Operational Semantics for Weighted Transition Systems
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
Bartek Klin
BMCBI
2008
153views more  BMCBI 2008»
13 years 11 months ago
AWclust: point-and-click software for non-parametric population structure analysis
Background: Population structure analysis is important to genetic association studies and evolutionary investigations. Parametric approaches, e.g. STRUCTURE and L-POP, usually ass...
Xiaoyi Gao, Joshua D. Starmer