1242 search results - page 114 / 249 » The Theory of Grammar Constraints |
140
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
145
click to vote
ACL
1998
15 years 7 months ago
1998
Since the early Sixties and Seventies it has been known that the regular and context-free languages arc characterized by definability in the monadic second-order theory of certain...
157
click to vote
APCHI
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, a visual system Eviss is proposed. Visual systems proposed so far have been fixed on certain specifications. It is hard to make and modify such visual systems. Sinc...
182
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Pairwise stochastic context-free grammars (Pair SCFGs) are powerful tools for evolutionary analysis of RNA, including simultaneous RNA sequence alignment and secondary...
139
click to vote
AIEDU
2006
15 years 6 months ago
2006
Constraint-based modeling has been used in many application areas of Intelligent Tutoring Systems as a powerful means to analyse erroneous student solutions and generate helpful fe...