1418 search results - page 62 / 284 » The Dynamic Complexity of Formal Languages |
127
click to vote
COLING
1990
15 years 5 months ago
1990
: CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for describing phrasal and iexical information and princ...
140
click to vote
ENTCS
2008
15 years 4 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
126
Voted
ECAL
1999
Springer
15 years 8 months ago
1999
Springer
Categorization dynamics as the clustering of words in word relation is studied by a constructive approach which is suited to inquire evolutionary linguistics with dynamical view on...
117
click to vote
EWSA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
238
click to vote
ECCB
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...