Sciweavers

2266 search results - page 218 / 454
» How Not to Evaluate a Developmental System
Sort
View
AROBOTS
2007
119views more  AROBOTS 2007»
15 years 6 months ago
Development environments for autonomous mobile robots: A survey
Robotic Development Environments (RDEs) have come to play an increasingly important role in robotics research in general, and for the development of architectures for mobile robot...
James F. Kramer, Matthias Scheutz
202
Voted
ICASSP
2009
IEEE
16 years 22 days ago
Lattice-based MLLR for speaker recognition
Maximum-Likelihod Linear Regression (MLLR) transform coefficients have shown to be useful features for text-independent speaker recognition systems. These use MLLR coefficients ...
Marc Ferras, Claude Barras, Jean-Luc Gauvain
QEST
2006
IEEE
16 years 3 hour ago
Compositional Quantitative Reasoning
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
Krishnendu Chatterjee, Luca de Alfaro, Marco Faell...
ICSE
1987
IEEE-ACM
15 years 9 months ago
Software Interconnection Models
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
Dewayne E. Perry
TSE
1998
93views more  TSE 1998»
15 years 5 months ago
A Strategy for Improving Safety Related Software Engineering Standards
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...
Norman E. Fenton, Martin Neil