11484 search results - page 373 / 2297 » Modeling in the Large and Modeling in the Small |
190
click to vote
EMNLP
2010
15 years 4 months ago
2010
We describe a new scalable algorithm for semi-supervised training of conditional random fields (CRF) and its application to partof-speech (POS) tagging. The algorithm uses a simil...
221
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
186
click to vote
ITCC
2005
IEEE
16 years 12 days ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
244
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNA...
165
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...