672 search results - page 22 / 135 » On the Expressive Power of the Loop Language |
132
Voted
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
102
Voted
SOFSEM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
107
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said ab...
98
Voted
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
Annotated relational databases can be queried either by simply making the annotations explicitly available along the ordinary data, or by adapting the standard query operators so ...
215
Voted
LACL
2011
Springer
14 years 4 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...