Sciweavers

2631 search results - page 98 / 527
» Less is More
Sort
View
TOMS
2008
120views more  TOMS 2008»
13 years 10 months ago
Families of algorithms related to the inversion of a Symmetric Positive Definite matrix
We present families of algorithms for operations related to the computation of the inverse of a Symmetric Positive Definite (SPD) matrix: Cholesky factorization, inversion of a tr...
Paolo Bientinesi, Brian C. Gunter, Robert A. van d...
RTS
2008
131views more  RTS 2008»
13 years 9 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
RE
2008
Springer
13 years 8 months ago
Use and Influence of Creative Ideas and Requirements for a Work-Integrated Learning System
In this paper, we describe a creativity workshop that was used in a large research project, called APOSDLE, to generate creative ideas and requirements for a workintegrated learni...
Sara Jones, Perry Lynch, Neil A. M. Maiden, Stefan...
SCL
2008
100views more  SCL 2008»
13 years 8 months ago
A search for positive storage functions
: Dissipative systems is a widely studied subject and the concept of storage functions are closely associated to dissipative systems. These storage functions for 1-D systems (syste...
Nirmesh Mehta, Harish K. Pillai
INTERSPEECH
2010
13 years 5 months ago
HMM-based prosodic structure model using rich linguistic context
This paper presents a study on the use of deep syntactical features to improve prosody modeling 1 . A French linguistic processing chain based on linguistic preprocessing, morphos...
Nicolas Obin, Xavier Rodet, Anne Lacheret