Sciweavers

544 search results - page 43 / 109
» Translating with Scarce Resources
Sort
View
LOGCOM
2010
128views more  LOGCOM 2010»
14 years 8 months ago
Answer Set Programming with Resources
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
Stefania Costantini, Andrea Formisano
ESOP
2010
Springer
15 years 7 months ago
Amortised Resource Analysis with Separation Logic
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
Robert Atkey
DSN
2006
IEEE
15 years 3 months ago
R-Opus: A Composite Framework for Application Performability and QoS in Shared Resource Pools
— We consider shared resource pool management taking into account per-application quality of service (QoS) requirements and server failures. Application QoS requirements are deï¬...
Ludmila Cherkasova, Jerome A. Rolia
LREC
2010
246views Education» more  LREC 2010»
14 years 11 months ago
GermanPolarityClues: A Lexical Resource for German Sentiment Analysis
In this paper, we propose GermanPolarityClues, a new publicly available lexical resource for sentiment analysis for the German language. While sentiment analysis and polarity clas...
Ulli Waltinger
CINQ
2004
Springer
180views Database» more  CINQ 2004»
15 years 1 months ago
Interactivity, Scalability and Resource Control for Efficient KDD Support in DBMS
The conflict between resource consumption and query performance in the data mining context often has no satisfactory solution. This not only stands in sharp contrast to the need of...
Matthias Gimbel, Michael Klein, Peter C. Lockemann