3440 search results - page 212 / 688 » Logics For Context-Free Languages |
203
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
202
click to vote
SEMWEB
2010
Springer
15 years 5 months ago
2010
Springer
Systems based on statistical and machine learning methods have been shown to be extremely effective and scalable for the analysis of large amount of textual data. However, in the r...
192
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Within aspect-oriented programming, the quality of aspect code depends on the readability and expressiveness of pointcut languages. Readability is increased by using specialized, ...
194
click to vote
EUROCOLT
1999
Springer
15 years 11 months ago
1999
Springer
The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds ...
167
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...