77016 search results - page 451 / 15404 » Modeling Modeling |
200
click to vote
EMNLP
2007
15 years 9 months ago
2007
We present a method for improving word alignment for statistical syntax-based machine translation that employs a syntactically informed alignment model closer to the translation m...
198
click to vote
IEEECIT
2005
IEEE
16 years 1 months ago
2005
IEEE
Context is a key factor in making make access control decision in modern information system. But a formal context model is needed to guide research of implementation of Context-se...
160
click to vote
ATVA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
179
click to vote
ECBS
1999
IEEE
15 years 12 months ago
1999
IEEE
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
194
click to vote
JCNS
1998
15 years 7 months ago
1998
A reduction method is used to analyze a spatially structured network model of inhibitory neurons. This network model displays wave propagation of postinhibitory rebound activity, w...