14298 search results - page 111 / 2860 » Dynamic Languages and Applications |
148
click to vote
WOLLIC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
167
Voted
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and...
128
Voted
LREC
2010
15 years 6 months ago
2010
We introduce CCASH (Cost-Conscious Annotation Supervised by Humans), an extensible web application framework for cost-efficient annotation. CCASH provides a framework in which cos...
123
click to vote
ECBS
2008
IEEE
15 years 6 months ago
2008
IEEE
While Architecture Description Languages (ADLs) have gained wide acceptance in the research community as a means of describing system designs, the uptake in industry has been slow...