949 search results - page 37 / 190 » On Topological Consistency and Realization |
ICCAD
1995
IEEE
14 years 1 months ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
IWQOS
2005
Springer
14 years 3 months ago
2005
Springer
The goal of this paper is to foster discussions on future directions for QoS related research. The paper takes the viewpoint of an operator; as an example it presents the topology,...
ENTCS
2006
13 years 10 months ago
2006
Back-pressure is a logical mechanism to control the flow of information on a communication channel of a latency-insensitive system (LIS) while guaranteeing that no packet is lost....
ICDCSW
2002
IEEE
14 years 2 months ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
ICIP
2010
IEEE
13 years 8 months ago
2010
IEEE
We present a novel approach that achieves segmentation of subject body parts in 3D videos. 3D video consists in a freeviewpoint video of real-world subjects in motion immersed in ...