9455 search results - page 366 / 1891 » The Modelling Language Zinc |
187
click to vote
JOT
2008
15 years 6 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
179
click to vote
EMNLP
2009
15 years 4 months ago
2009
This paper explores two classes of model adaptation methods for Web search ranking: Model Interpolation and error-driven learning approaches based on a boosting algorithm. The res...
150
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
200
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
The ultimate goal of data visualization is to clearly portray features relevant to the problem being studied. This goal can be realized only if users can effectively communicate t...
155
click to vote
ACL
2001
15 years 8 months ago
2001
In this paper we discuss our approach toward establishing a model of the acquisition of English grammatical structures by users of our English language tutoring system, which has ...