3653 search results - page 417 / 731 » On Recognizable Timed Languages |
192
click to vote
ODRL
2004
15 years 8 months ago
2004
The paper describes experiences, ideas, and problems that were discovered while developing a digital rights management (DRM) extension to an XML browser. The supported rights desc...
188
Voted
OSDI
2000
ACM
15 years 8 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
204
click to vote
CI
2005
15 years 6 months ago
2005
TRACT SPECIFICATIONS FEI XIA AND MARTHA PALMER Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 K. VIJAY-SHANKER Department of Com...
174
click to vote
COLING
2002
15 years 6 months ago
2002
Language users have individual linguistic styles. A spoken dialogue system may benefit from adapting to the linguistic style of a user in input analysis and output generation. To ...
199
click to vote
SCP
2010
15 years 5 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...