1418 search results - page 128 / 284 » The Dynamic Complexity of Formal Languages |
128
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
169
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
136
click to vote
UM
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
151
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as formalisms capable of capturing and reasoning about imprecise and vague knowledge. The last years, research in Desc...
121
click to vote
TCBB
2010
15 years 2 months ago
2010
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...