3440 search results - page 653 / 688 » Logics For Context-Free Languages |
139
click to vote
INFORMS
1998
15 years 1 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
133
click to vote
JOLLI
2010
15 years 12 days ago
2010
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...
145
click to vote
COMPSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
127
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
134
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Grishin ([10]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([15]), who spok...