6829 search results - page 64 / 1366 » Quantitative Generalizations of Languages |
81
Voted
ISIM
2007
15 years 2 months ago
2007
This paper presentsnew models for generatingmatrix languages. These models are based on multigenerative grammar systems that simultaneouslygenerateseveralstrings in a parallel way....
72
Voted
CSL
2002
Springer
15 years 19 days ago
2002
Springer
Abstract. We show that Gentzen's sequent calculus admits generalization of semi-terms of particularly simple form. This theorem extends one of the main results in [BS95] to la...
217
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...
112
click to vote
SIGCSE
2009
ACM
15 years 7 months ago
2009
ACM
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...
107
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...