14577 search results - page 497 / 2916 » Statistical Language Modelling |
191
click to vote
SCAM
2002
IEEE
16 years 16 days ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
224
click to vote
SLE
2009
Springer
16 years 4 days ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
191
click to vote
ENTCS
2007
15 years 7 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
176
click to vote
EDM
2010
15 years 9 months ago
2010
Epistemic games are designed to help players develop domain-specific expertise that characterizes how professionals in a particular domain reason, communicate, and act [1, 11]. To ...
200
click to vote
JBI
2008
15 years 7 months ago
2008
The complexity of quantitative biomedical models, and the rate at which they are published, is increasing to a point where managing the information has become all but impossible w...