136 search results - page 18 / 28 » separable and transitive graphoids |
106
click to vote
SLIP
2003
ACM
15 years 7 months ago
2003
ACM
Aggressive process scaling and increasing clock rates have made crosstalk noise an important issue in VLSI design. Switching on adjacent wires on long bus lines can increase delay...
108
click to vote
PCI
2001
Springer
15 years 6 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
101
Voted
FASE
1998
Springer
15 years 6 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
123
click to vote
SIGSOFT
2002
ACM
16 years 2 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
121
Voted
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Given the video of a still background occluded by a fluid dynamic texture (FDT), this paper addresses the problem of separating the video sequence into its two constituent layers....