77016 search results - page 451 / 15404 » Modeling Modeling |
185
click to vote
EMNLP
2007
15 years 8 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...
177
click to vote
IEEECIT
2005
IEEE
16 years 13 days 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...
145
Voted
ATVA
2005
Springer
16 years 12 days 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...
160
click to vote
ECBS
1999
IEEE
15 years 11 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...
184
click to vote
JCNS
1998
15 years 6 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...