984 search results - page 23 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
120
click to vote
LREC
2008
15 years 4 months ago
2008
Originally conceived as a "naive" baseline experiment using traditional n-gram language models as classifiers, the NCLEANER system has turned out to be a fast and lightw...
119
click to vote
JCIT
2007
15 years 3 months ago
2007
Internet search engines identify web pages that contain user-specified keywords, and then rank these pages according to their (heuristically assessed) relevance to the user’s qu...
132
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
140
Voted
RE
2002
Springer
15 years 3 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
129
click to vote
ESORICS
2003
Springer
15 years 8 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...