2496 search results - page 85 / 500 » Error-detecting properties of languages |
67
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...
85
Voted
ENTCS
2002
15 years 13 days ago
2002
ended abstract demonstrates that creating editors and environments for visual languages becomes considerably easier when restricting the class of visual languages. The presented a...
77
Voted
ENTCS
2002
15 years 13 days ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
190
Voted
POPL
2006
ACM
16 years 29 days ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
96
Voted
CICLING
2006
Springer
15 years 4 months ago
2006
Springer
Annotated corpora are valuable resources for NLP which are often costly to create. We introduce a method for transferring annotation from a morphologically annotated corpus of a so...