3082 search results - page 327 / 617 » Deviation Analysis: A New Use of Model Checking |
180
click to vote
RTAS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...
170
click to vote
SMI
2005
IEEE
16 years 5 days ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
192
click to vote
ISMIR
2005
Springer
16 years 3 days ago
2005
Springer
The creation of huge databases coming from both restoration of existing analogue archives and new content is demanding fast and more and more reliable tools for content analysis a...
182
click to vote
ACL
2007
15 years 8 months ago
2007
Language model (LM) adaptation is important for both speech and language processing. It is often achieved by combining a generic LM with a topic-specific model that is more releva...
189
click to vote
JCC
2002
15 years 6 months ago
2002
: A new method for the characterization of molecules based on the model approach of molecular surfaces is presented. We use the topographical properties of the surface as well as t...