4008 search results - page 375 / 802 » An expressive language of signatures |
175
click to vote
COLING
1990
15 years 8 months ago
1990
Mandarin Chinese is a highly flexible and context-sensitive language. It is difficult to do the case marking and index assignment during the parsing of Chinese sentences. This pap...
179
click to vote
GIS
2008
ACM
15 years 8 months ago
2008
ACM
Open Digital Rights Language (ODRL) is an extensible language for specifying Rights Policy in the context of Digital Rights Management (DRM) applications. The OpenGIS® Web Map Se...
173
click to vote
HASKELL
2008
ACM
15 years 8 months ago
2008
ACM
The “zipper” is a well known design pattern for providing a cursorlike interface to a data structure. However, the classic treatise by Huet only scratches the surface of some ...
157
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...
162
Voted
ENTCS
2006
15 years 6 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...