Sciweavers

705 search results - page 63 / 141
» New Compilation Languages Based on Structured Decomposabilit...
Sort
View
ICFP
2007
ACM
15 years 9 months ago
Stream fusion: from lists to streams to nothing at all
This paper presents an automatic deforestation system, stream fusion, based on equational transformations, that fuses a wider range of functions than existing short-cut fusion sys...
Duncan Coutts, Roman Leshchinskiy, Don Stewart
COLING
2008
14 years 11 months ago
Entailment-based Question Answering for Structured Data
This paper describes a Question Answering system which retrieves answers from structured data regarding cinemas and movies. The system represents the first prototype of a multilin...
Bogdan Sacaleanu, Constantin Orasan, Christian Spu...
POPL
2006
ACM
15 years 10 months ago
The essence of command injection attacks in web applications
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
Zhendong Su, Gary Wassermann
JMLR
2006
103views more  JMLR 2006»
14 years 9 months ago
A Graphical Representation of Equivalence Classes of AMP Chain Graphs
This paper deals with chain graph models under alternative AMP interpretation. A new representative of an AMP Markov equivalence class, called the largest deflagged graph, is prop...
Alberto Roverato, Milan Studený
LCPC
1998
Springer
15 years 2 months ago
HPF-2 Support for Dynamic Sparse Computations
There is a class of sparse matrix computations, such as direct solvers of systems of linear equations, that change the fill-in (nonzero entries) of the coefficient matrix, and invo...
Rafael Asenjo, Oscar G. Plata, Juan Touriño...