5718 search results - page 142 / 1144 » Modeling Rule Precision |
167
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
160
click to vote
APPINF
2003
15 years 7 months ago
2003
Evolution of existing large telecommunications software currently became an important issue. Efficient methods are needed to componentize existing software identify existing compo...
171
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We present a new, statistical approach to rule learning. Doing so, we address two of the problems inherent in traditional rule learning: The computational hardness of finding rule...
150
click to vote
APSEC
2005
IEEE
16 years 1 days ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
179
click to vote
ADVIS
2004
Springer
15 years 11 months ago
2004
Springer
An important issue in text mining is how to make use of multiple pieces knowledge discovered to improve future decisions. In this paper, we propose a new approach to combining mult...