950 search results - page 85 / 190 » Machine semantics |
131
Voted
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
132
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
Today, the travel information services are dominantly provided by Global Distribution Systems (GDS). The Global Distribution Systems provide access to real time availability and p...
129
click to vote
ICALT
2007
IEEE
15 years 11 months ago
2007
IEEE
In this study, we design and prototype an automatic quiz generation system (auto-quiz for short) for a given English text to test learner comprehension of text content and English...
142
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
140
Voted
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to semantically annotated resources in the context of ontological knowledge bases. This method can be used to discov...