319 search results - page 19 / 64 » Improved Model Checking of Hierarchical Systems |
125
Voted
ACL
2010
15 years 2 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...
162
click to vote
ASIAMS
2008
IEEE
15 years 10 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...
125
click to vote
ICASSP
2008
IEEE
15 years 10 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...
114
click to vote
AIEDU
2005
15 years 3 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...
132
click to vote
APN
2008
Springer
15 years 6 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 ...