2625 search results - page 231 / 525 » The development of the Emerald programming language |
222
click to vote
EMNLP
2011
14 years 6 months ago
2011
In this paper, we propose a novel approach to automatic generation of aspect-oriented summaries from multiple documents. We first develop an event-aspect LDA model to cluster sen...
243
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
186
click to vote
FUIN
2010
15 years 4 months ago
2010
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
190
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
295
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...