Sciweavers

110 search results - page 16 / 22
» A Functional Programming Approach to Deductive Databases
Sort
View
VL
2009
IEEE
150views Visual Languages» more  VL 2009»
14 years 3 months ago
Discovery-based edit assistance for spreadsheets
Spreadsheets can be viewed as a highly flexible endusers programming environment which enjoys wide-spread adoption. But spreadsheets lack many of the structured programming conce...
Jácome Cunha, João Saraiva, Joost Vi...
POPL
2009
ACM
14 years 9 months ago
Bidirectionalization for free! (Pearl)
A bidirectional transformation consists of a function get that takes a source (document or value) to a view and a function put that takes an updated view and the original source b...
Janis Voigtländer
JIT
2004
Springer
94views Database» more  JIT 2004»
14 years 2 months ago
Self-accounting as Principle for Portable CPU Control in Java
In this paper we present a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques and can be used with every standard Jav...
Walter Binder, Jarle Hulaas
APBC
2004
173views Bioinformatics» more  APBC 2004»
13 years 10 months ago
RNA Secondary Structure Prediction with Simple Pseudoknots
Pseudoknots are widely occurring structural motifs in RNA. Pseudoknots have been shown to be functionally important in different RNAs which play regulatory, catalytic, or structur...
Jitender S. Deogun, Ruben Donts, Olga Komina, Fang...
CVPR
2007
IEEE
14 years 11 months ago
Multi-label image segmentation via max-sum solver
We formulate single-image multi-label segmentation into regions coherent in texture and color as a MAX-SUM problem for which efficient linear programming based solvers have recent...
Branislav Micusík, Tomás Pajdla