366 search results - page 50 / 74 » Syntactic Abstraction of B Models to Generate Tests |
JGO
2011
13 years 1 months ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...
DIS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We investigate a generative latent variable model for modelbased word saliency estimation for text modelling and classification. The estimation algorithm derived is able ...
IJCNLP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper proposes a lexicon-constrained character model that combines both word and character features to solve complicated issues in Chinese morphological analysis. A ...
FAC
2008
13 years 10 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
ISMIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Anomaly detection is based on profiles that represent normal behaviour of users, hosts or networks and detects attacks as significant deviations from these profiles. In t...