Sciweavers

1781 search results - page 109 / 357
» Functional Answer Set Programming
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
14 years 11 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
CLEF
2006
Springer
15 years 3 months ago
Experimenting a "General Purpose" Textual Entailment Learner in AVE
In this paper we present the use of a "general purpose" textual entaiment recognizer in the Answer Validation Exercise (AVE) task. Our system has been developed to learn...
Fabio Massimo Zanzotto, Alessandro Moschitti
PVLDB
2008
182views more  PVLDB 2008»
14 years 10 months ago
SCOPE: easy and efficient parallel processing of massive data sets
Companies providing cloud-scale services have an increasing need to store and analyze massive data sets such as search logs and click streams. For cost and performance reasons, pr...
Ronnie Chaiken, Bob Jenkins, Per-Åke Larson,...
DAC
2005
ACM
16 years 6 days ago
Energy optimal speed control of devices with discrete speed sets
We obtain analytically, the energy optimal speed profile of a generic multi-speed device with a discrete set of speeds, to execute a given task within a given time. Current implem...
Ravishankar Rao, Sarma B. K. Vrudhula
TOOLS
1997
IEEE
15 years 3 months ago
Mapping the OO-Jacobson Approach into Function Point Analysis
Function Point Analysis measures user requested functionality independent of the technology used for implementation. Software applications are represented stract model that contai...
T. Fetcke, A. Abran, T.-H. Nguyen