Sciweavers

740 search results - page 24 / 148
» Constraints in Object-Oriented Analysis and Design
Sort
View
ICCAD
2005
IEEE
114views Hardware» more  ICCAD 2005»
14 years 5 months ago
Statistical timing analysis with two-sided constraints
Based on a timing yield model, a statistical static timing analysis technique is proposed. This technique preserves existing methodology by selecting a “device file setting” ...
Khaled R. Heloue, Farid N. Najm
ICASSP
2011
IEEE
13 years 16 days ago
Synthesis filter bank optimization with lattice structure constraints in 2D separable image processing
In one-dimensional signal processing, the perfect reconstruction (PR) synthesis FB is not unique for a given analysis LP oversampled filter bank (FB). Optimal Design methods have...
Li Chai, Yuxia Sheng, Jingxin Zhang
CHI
1997
ACM
14 years 1 months ago
A Computer Participant in Musical Improvisation
the changing roles of participants in a musical improvisation and synchronously generate appropriate contributions of its own. Musical improvisation is a collaborative activity ana...
William F. Walker
ICTAI
2007
IEEE
14 years 3 months ago
Curve Clustering with Spatial Constraints for Analysis of Spatiotemporal Data
In this paper we present a new approach for curve clustering designed for analysis of spatiotemporal data. Such kind of data contains both spatial and temporal patterns that we de...
Konstantinos Blekas, Christophoros Nikou, Nikolas ...
CORR
2011
Springer
115views Education» more  CORR 2011»
13 years 17 days ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...