4212 search results - page 191 / 843 » Rights Expression Languages |
186
click to vote
PADL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
161
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Monadic query languages over trees currently receive considerable interest in the database community, as the problem of selecting nodes from a tree is the most basic and widesprea...
168
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an approach to spoken Chinese language paraphrasing based on feature extraction and techniques of language generation. In this approach, an input utterance is ...
149
click to vote
JMLC
1997
Springer
15 years 10 months ago
1997
Springer
Strongly typed polymorphism is necessary for expressing safe reusable code. Two orthogonal forms of polymorphism exist: inclusion and parametric, the Oberon language only supports ...
152
click to vote
GW
2007
Springer
15 years 10 months ago
2007
Springer
The study of sign languages attempts to create a coherent model that binds the expressive nature of signs conveyed in gestures to a linguistic framework. Gesture modelling offers a...