3564 search results - page 289 / 713 » Evaluating a Formal Modelling Language |
190
click to vote
ACL
2011
14 years 11 months ago
2011
Most previous studies of morphological disambiguation and dependency parsing have been pursued independently. Morphological taggers operate on n-grams and do not take into account...
217
click to vote
ISORC
2000
IEEE
16 years 3 days ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
193
Voted
FMSD
2006
15 years 7 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
180
click to vote
CEC
2008
IEEE
16 years 2 months ago
2008
IEEE
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...
235
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...