394 search results - page 34 / 79 » Composing Specifications |
JMLR
2006
14 years 9 months ago
2006
This paper deals with chain graph models under alternative AMP interpretation. A new representative of an AMP Markov equivalence class, called the largest deflagged graph, is prop...
TAP
2008
Springer
14 years 9 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
103
click to vote
ERSA
2009
14 years 7 months ago
2009
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper presents a SLAM algorithm for a team of mobile robots exploring an indoor environment, described by adopting the M-Space representation of linear features. Each robot so...
INTERSPEECH
2010
14 years 4 months ago
2010
Text-to-speech synthesizer systems are of overall good quality, especially when adapted to a specific task. Given this task and an adapted voice corpus, the message quality is mai...