Sciweavers

1134 search results - page 91 / 227
» Composing Tests from Examples
Sort
View
CORR
2007
Springer
85views Education» more  CORR 2007»
14 years 11 months ago
Interface groups and financial transfer architectures
Analytic execution architectures have been proposed by the same authors as a means to conceptualize the cooperation between heterogeneous collectives of components such as program...
Jan A. Bergstra, Alban Ponse
JISE
2006
85views more  JISE 2006»
14 years 11 months ago
A Programming Methodology for Designing Block Recursive Algorithms
In this paper, we use the tensor product notation as the framework of a programming methodology for designing block recursive algorithms. We first express a computational problem ...
Min-Hsuan Fan, Chua-Huang Huang, Yeh-Ching Chung, ...
ISVC
2010
Springer
14 years 9 months ago
Organizing and Browsing Image Search Results Based on Conceptual and Visual Similarities
This paper presents a novel approach for searching images online using textual queries and presenting the resulting images based on both conceptual and visual similarities. Given a...
Grant Strong, Enamul Hoque, Minglun Gong, Orland H...
PVLDB
2010
83views more  PVLDB 2010»
14 years 9 months ago
Updatable and Evolvable Transforms for Virtual Databases
Applications typically have some local understanding of a database schema, a virtual database that may differ significantly from the actual schema of the data where it is stored...
James F. Terwilliger, Lois M. L. Delcambre, David ...
DLS
2009
179views Languages» more  DLS 2009»
14 years 9 months ago
Directing JavaScript with arrows
JavaScript programmers make extensive use of event-driven programming to help build responsive web applications. However, standard approaches to sequencing events are messy, and o...
Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, ...