Sciweavers

2116 search results - page 198 / 424
» Resource Analysis by Sup-interpretation
Sort
View
ICDAR
2003
IEEE
15 years 9 months ago
Parsing N-Best Lists of Handwritten Sentences
This paper investigates the application of a probabilistic parser for natural language on the list of the Nbest sentences produced by an off-line recognition system for cursive h...
Matthias Zimmermann, Jean-Cédric Chappelier...
SSIAI
2000
IEEE
15 years 8 months ago
Hybrid Hidden Markov Model for Face Recognition
In this paper, we introduce a Hybrid Hidden Markov Model (HMM) face recognition system. The proposed system contains a low-complexity 2-D HMM-based face recognition (LC 2D-HMM FR)...
Hisham Othman, Tyseer Aboulnasr
ECRTS
1999
IEEE
15 years 8 months ago
QoS guarantee using probabilistic deadlines
This paper presents a probabilistic approach to guarantee the performance of a real-time system. While traditional real-time system analysis tends to guarantee that each task inst...
Luca Abeni, Giorgio C. Buttazzo
ESORICS
2006
Springer
15 years 8 months ago
A Formal Model of Access Control for Mobile Interactive Devices
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
Frédéric Besson, Guillaume Dufay, Th...
KBSE
2000
IEEE
15 years 7 months ago
Mutation Operators for Specifications
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
Paul E. Black, Vadim Okun, Yaacov Yesha