Sciweavers

129 search results - page 19 / 26
» Valid Inequalities Based on Simple Mixed-Integer Sets
Sort
View
TON
2010
162views more  TON 2010»
13 years 2 months ago
The Delay-Friendliness of TCP for Real-Time Traffic
TCP has traditionally been considered inappropriate for real-time applications. Nonetheless, popular applications such as Skype use TCP since UDP packets cannot pass through restri...
Eli Brosh, Salman Abdul Baset, Vishal Misra, Dan R...
DATE
2009
IEEE
87views Hardware» more  DATE 2009»
14 years 2 months ago
Efficient compression and handling of current source model library waveforms
—This paper describes a waveform compression technique suitable for the efficient utilization, storage and interchange of the emerging current source model (CSM) based cell libra...
Safar Hatami, Peter Feldmann, Soroush Abbaspour, M...
CIARP
2005
Springer
14 years 27 days ago
Surface Grading Using Soft Colour-Texture Descriptors
Abstract. This paper presents a new approach to the question of surface grading based on soft colour-texture descriptors and well known classifiers. These descriptors come from gl...
Fernando López, José Miguel Valiente...
ICFEM
2007
Springer
14 years 1 months ago
Model Checking with SAT-Based Characterization of ACTL Formulas
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
Wenhui Zhang
ISBI
2009
IEEE
14 years 2 months ago
Structural Annotation of EM Images by Graph Cut
Biological images have the potential to reveal complex signatures that may not be amenable to morphological modeling in terms of shape, location, texture, and color. An effective ...
Hang Chang, Manfred Auer, Bahram Parvin