Sciweavers

5012 search results - page 290 / 1003
» Distributed Error Correction
Sort
View
APSEC
2005
IEEE
16 years 6 days ago
Tool Support for Invariant Based Programming
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
Ralph-Johan Back, Magnus Myreen
BPM
2005
Springer
114views Business» more  BPM 2005»
16 years 4 days ago
An Analysis and Taxonomy of Unstructured Workflows
Most workflow tools support structured workflows despite the fact that unstructured workflows can be more expressive. The reason for this is that unstructured workflows are more pr...
Rong Liu, Akhil Kumar
MLMI
2005
Springer
16 years 2 days ago
The TNO Speaker Diarization System for NIST RT05s Meeting Data
The TNO speaker speaker diarization system is based on a standard BIC segmentation and clustering algorithm. Since for the NIST Rich Transcription speaker dizarization evaluation m...
David van Leeuwen
KBSE
1997
IEEE
15 years 10 months ago
Modular Flow Analysis for Concurrent Software
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
Matthew B. Dwyer
CIRA
2007
IEEE
188views Robotics» more  CIRA 2007»
15 years 10 months ago
Facial Identity and Expression Recognition by using Active Appearance Model with Efficient Second Order Minimization and Neural
This paper proposes a technique for real-time recognition of facial Identity and expression which uses the active appearance model (AAM) with efficient second order minimization al...
Hyun-Chul Choi, Se-Young Oh