319 search results - page 19 / 64 » Improved Model Checking of Hierarchical Systems |
ACL
2010
13 years 7 months ago
2010
This paper presents a novel filtration criteria to restrict the rule extraction for the hierarchical phrase-based translation model, where a bilingual but relaxed well-formed depe...
ASIAMS
2008
IEEE
14 years 4 months ago
2008
IEEE
Our previous research illustrated the design of fuzzy logic based online risk assessment for Distributed Intrusion Prediction and Prevention Systems (DIPPS) [3]. Based on the DIPP...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we investigate the significance of contextual information in a phoneme recognition system using the hidden Markov model - artificial neural network paradigm. Cont...
AIEDU
2005
13 years 9 months ago
2005
This paper describes a Simulated Student architecture designed to detect and avoid three situations that decrease the benefits of learning in collaboration. These are off-topic con...
APN
2008
Springer
13 years 12 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...