Sciweavers

827 search results - page 13 / 166
» Patterns for Timed Property Specifications
Sort
View
123
Voted
AMFG
2007
IEEE
283views Biometrics» more  AMFG 2007»
15 years 5 months ago
Learning Personal Specific Facial Dynamics for Face Recognition from Videos
In this paper, we present an effective approach for spatiotemporal face recognition from videos using an Extended set of Volume LBP (Local Binary Pattern features) and a boosting s...
Abdenour Hadid, Matti Pietikäinen, Stan Z. Li
DAGSTUHL
2004
15 years 3 months ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
Pieter W. M. Koopman
EDBT
2010
ACM
156views Database» more  EDBT 2010»
15 years 5 months ago
Pattern detector: fast detection of suspicious stream patterns for immediate reaction
Detecting emerging problems in information and manufacturing systems is the goal of monitoring tools. Good and timely detection of problematic conditions from measured indicators ...
Ira Assent, Hardy Kremer, Stephan Günnemann, ...
117
Voted
ESTIMEDIA
2006
Springer
15 years 5 months ago
Use of a Bit-true Data Flow Analysis for Processor-Specific Source Code Optimization
Nowadays, key characteristics of a processor's instruction set are only exploited in high-level languages by using inline assembly or compiler intrinsics. Inserting intrinsic...
Heiko Falk, Jens Wagner, André Schaefer
105
Voted
CPHYSICS
2008
88views more  CPHYSICS 2008»
15 years 1 months ago
Simulation approaches to soft matter: Generic statistical properties vs. chemical details
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...
Matej Praprotnik, Christoph Junghans, Luigi Delle ...