9444 search results - page 364 / 1889 » The Language Model LMNtal |
222
click to vote
MEMOCODE
2003
IEEE
16 years 2 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
142
click to vote
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Recent work in the field of computational evolutionary linguistics suggests that the dynamics arising from the cultural evolution of language can explain the emergence o...
166
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
Although RDF is considered the Semantic Web language, it may not be the only one. SOAP serialisation provides several advantages, especially if the Semantic Web is not just about ...
157
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a language-independent and specificationdriven program rendering tool that is able to produce highquality code renderings of arbitrary complexity. The tool can incorp...
150
click to vote
DLT
2007
15 years 8 months ago
2007
Tiling systems that recognize two-dimensional languages are intrinsically non-deterministic models. We introduce the notion of deterministic tiling system that generalizes determin...