5544 search results - page 710 / 1109 » Three Inadequate Models |
194
click to vote
CLEAR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this paper, we present the ICSI speaker diarization system. This system was used in the 2007 National Institute of Standards and Technology (NIST) Rich Transcription e...
159
click to vote
FMCAD
2007
Springer
16 years 28 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
170
click to vote
FORMATS
2007
Springer
16 years 28 days ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
155
click to vote
HYBRID
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
180
click to vote
ICCS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Using a scenario of multiple mobile observing platforms (UAVs) measuring weather variables in distributed regions of the Pacific, we are developing algorithms that will ...