Sciweavers

11151 search results - page 2035 / 2231
» On the Complexity of Model Expansion
Sort
View
SOSYM
2010
119views more  SOSYM 2010»
15 years 1 months ago
Formal specification of non-functional properties of component-based software systems
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
Steffen Zschaler
TCAD
2010
102views more  TCAD 2010»
15 years 1 months ago
Functional Test Generation Using Efficient Property Clustering and Learning Techniques
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
Mingsong Chen, Prabhat Mishra
TIP
2010
162views more  TIP 2010»
15 years 1 months ago
Multivariate Image Segmentation Using Semantic Region Growing With Adaptive Edge Penalty
Multivariate image segmentation is a challenging task, influenced by large intraclass variation that reduces class distinguishability as well as increased feature space sparseness ...
A. K. Qin, David A. Clausi
TIP
2010
141views more  TIP 2010»
15 years 1 months ago
Efficient Particle Filtering via Sparse Kernel Density Estimation
Particle filters (PFs) are Bayesian filters capable of modeling nonlinear, non-Gaussian, and nonstationary dynamical systems. Recent research in PFs has investigated ways to approp...
Amit Banerjee, Philippe Burlina
TIP
2010
157views more  TIP 2010»
15 years 1 months ago
Directional Filtering Transform for Image/Intra-Frame Compression
Abstract--While directional adaption is introduced into traditional transforms, different orders of two 1-D transforms will result in different results of one 2-D transform. Based ...
Xiulian Peng, Jizheng Xu, Feng Wu
« Prev « First page 2035 / 2231 Last » Next »