3082 search results - page 256 / 617 » Deviation Analysis: A New Use of Model Checking |
178
click to vote
PPDP
2007
Springer
16 years 20 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
160
click to vote
CSL
2000
Springer
15 years 6 months ago
2000
Springer
Conversational speech exhibits considerable pronunciation variability, which has been shown to have a detrimental effect on the accuracy of automatic speech recognition. There hav...
185
click to vote
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
Discovering episodes, frequent sets of events from a sequence has been an active field in pattern mining. Traditionally, a level-wise approach is used to discover all frequent epis...
153
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
We have developed a new approach for preoperative selection of points from a surface model for rigid shape-based registration. This approach is based on an extension of our earlier...
173
click to vote
ICSM
2005
IEEE
16 years 4 days ago
2005
IEEE
In order to build predictors of the maintainability of evolving software, we first need a means for measuring maintainability as well as a training set of software modules for whi...