Sciweavers

3498 search results - page 281 / 700
» Role Model Based Framework Design and Integration
Sort
View
ISPE
2003
15 years 7 months ago
Task-oriented engineering of coordinated software systems
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
Enrico Denti, Andrea Omicini, Alessandro Ricci
CLEAR
2007
Springer
148views Biometrics» more  CLEAR 2007»
16 years 13 days ago
Multi-stage Speaker Diarization for Conference and Lecture Meetings
The LIMSI RT-07S speaker diarization system for the conference and lecture meetings is presented in this paper. This system builds upon the RT06S diarization system designed for le...
Xuan Zhu, Claude Barras, Lori Lamel, Jean-Luc Gauv...
ATVA
2004
Springer
138views Hardware» more  ATVA 2004»
15 years 10 months ago
Providing Automated Verification in HOL Using MDGs
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
Tarek Mhamdi, Sofiène Tahar
IASTEDSE
2004
15 years 7 months ago
A software development process supporting non-functional properties
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
Simone Röttger, Steffen Zschaler
173
Voted
ECCV
2008
Springer
16 years 8 months ago
A Dynamic Conditional Random Field Model for Joint Labeling of Object and Scene Classes
Object detection and pixel-wise scene labeling have both been active research areas in recent years and impressive results have been reported for both tasks separately. The integra...
Christian Wojek, Bernt Schiele