491 search results - page 78 / 99 » Linear Quantifier Elimination |
RTSS
1999
IEEE
13 years 11 months ago
1999
IEEE
Reward-based scheduling refers to the problem in which there is a reward associated with the execution of a task. In our framework, each real-time task comprises a mandatory and a...
DAC
1996
ACM
13 years 11 months ago
1996
ACM
Boundary element methods (BEM) are often used for complex 3-D capacitance extraction because of their efficiency, ease of data preparation, and automatic handling of open regions. ...
WCNC
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Realization of all-digital baseband receiver processing for multi-Gigabit communication requires analog-to-digital converters(ADCs) of sufficient rate and output resolu...
3DPVT
2004
IEEE
13 years 11 months ago
2004
IEEE
We propose a new data structure, called Fan-Meshes (FM), for reconstructing 3D models and scenes represented by dense scanning point clouds. It is a local piecewise linear approxi...
ACIVS
2006
Springer
2006
Springer
Constrained Region-Growing and Edge Enhancement Towards Automated Semantic Video Object Segmentation
13 years 11 months ago
Most existing object segmentation algorithms suffer from a so-called under-segmentation problem, where parts of the segmented object are missing and holes often occur inside the ob...