9067 search results - page 228 / 1814 » Adaptive Model Checking |
217
click to vote
WICSA
2007
15 years 8 months ago
2007
The software architecture is one of the most important artifacts created in the lifecycle of a software system. It enables, facilitates, hampers, or interferes directly the achiev...
181
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper focuses on a solution to better adapt ASR systems, whose language models (LM) are usually trained on topic-independent corpora, to new topics, in particular in the case...
184
Voted
RV
2007
Springer
16 years 1 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
210
Voted
AI
2005
Springer
15 years 7 months ago
2005
Springer
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...
201
Voted
MICAI
2005
Springer
16 years 16 days ago
2005
Springer
Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...