4212 search results - page 41 / 843 » Rights Expression Languages |
116
click to vote
TIME
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
116
click to vote
PODS
2008
ACM
16 years 36 min ago
2008
ACM
We study complexity and approximation of queries in an expressive query language for probabilistic databases. The language studied supports the compositional use of confidence com...
DLT
2008
15 years 1 months ago
2008
Abstract. Since recognizable tree languages are closed under the rational operations, every regular tree expression denotes a recognizable tree language. We provide an alternative ...
ICFP
2002
ACM
15 years 11 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
ENTCS
2008
14 years 12 months ago
2008
Graphs are among the most frequently used structures in Computer Science. In this work, we analyze how we can express some important graph properties such as connectivity, acyclic...