Sciweavers

986 search results - page 127 / 198
» Efficient Processing of the Cube Operator
Sort
View
JOT
2010
142views more  JOT 2010»
14 years 8 months ago
On Differencing Object-Oriented Formal Specifications
Requirements specification is a collaborative activity that involves several developers specifying the requirements elicited through several stakeholders. Operation-base merging a...
Fathi Taibi, Md. Jahangir Alam, Junaidi Abdullah
ASPDAC
2010
ACM
135views Hardware» more  ASPDAC 2010»
14 years 8 months ago
Statistical timing verification for transparently latched circuits through structural graph traversal
Level-sensitive transparent latches are widely used in high-performance sequential circuit designs. Under process variations, the timing of a transparently latched circuit will ada...
Xingliang Yuan, Jia Wang
WER
2010
Springer
14 years 7 months ago
A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
Fadil Alturki, Ridha Khedri
ICIAR
2009
Springer
14 years 7 months ago
Real-Time Image-Based Motion Detection Using Color and Structure
Abstract. In this paper we propose a method for automating the process of detecting regions of motion in a video sequence in real time. The main idea of this work is to detect moti...
Manali Chakraborty, Olac Fuentes
ECCV
2010
Springer
14 years 11 months ago
Texture Regimes for Entropy-Based Multiscale Image Analysis
We present an approach to multiscale image analysis. It hinges on an operative definition of texture that involves a "small region", where some (unknown) statistic is agg...
Sylvain Boltz, Frank Nielsen, Stefano Soatto