Sciweavers

2204 search results - page 211 / 441
» Combining Multiple Clustering Systems
Sort
View
DSN
2002
IEEE
15 years 8 months ago
Model Checking Safety Properties of Servo-Loop Control Systems
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
M. Edwin Johnson
149
Voted
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
15 years 5 months ago
Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
135
Voted
AAAI
2000
15 years 4 months ago
An Expert System for Recognition of Facial Actions and their Intensity
The Facial Action Coding System (FACS) is an objective method for quantifying facial movement in terms of 44 component actions, i.e. Action Units (AUs). This system is widely used...
Maja Pantic, Léon J. M. Rothkrantz
154
Voted
BMCBI
2006
190views more  BMCBI 2006»
15 years 3 months ago
VANTED: A system for advanced data analysis and visualization in the context of biological networks
Background: Recent advances with high-throughput methods in life-science research have increased the need for automatized data analysis and visual exploration techniques. Sophisti...
Björn H. Junker, Christian Klukas, Falk Schre...
ICC
2007
IEEE
124views Communications» more  ICC 2007»
15 years 9 months ago
On the Performance of IEEE 802.16 OFDMA System Under Different Frequency Reuse and Subcarrier Permutation Patterns
— In interference-limited wireless cellular systems, interference avoidance and interference averaging are widely adopted to combat co-channel interference. In different types of...
Huiling Jia, Zhaoyang Zhang, Guanding Yu, Peng Che...