Sciweavers

1687 search results - page 255 / 338
» Light Functional Interpretation
Sort
View
ICSE
2008
IEEE-ACM
16 years 5 months ago
Tool support for data validation by end-user programmers
End-user programming tools for creating spreadsheets and webforms offer no data types except "string" for storing many kinds of data, such as person names and street add...
Christopher Scaffidi, Brad A. Myers, Mary Shaw
WWW
2004
ACM
16 years 5 months ago
Towards Semantic Web Portals
A web portal is a platform for information presentation and information exchange over the Internet in a community of interest. Conventional web technologies used in web portals pr...
Dieter Fensel, Holger Lausen, Michael Stollberg, R...
CHI
2009
ACM
16 years 5 months ago
Musink: composing music through augmented drawing
We focus on the creative use of paper in the music composition process, particularly the interaction between paper and end-user programming. When expressing musical ideas, compose...
Theophanis Tsandilas, Catherine Letondal, Wendy E....
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 4 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
KDD
2009
ACM
207views Data Mining» more  KDD 2009»
16 years 4 months ago
DynaMMo: mining and summarization of coevolving sequences with missing values
Given multiple time sequences with missing values, we propose DynaMMo which summarizes, compresses, and finds latent variables. The idea is to discover hidden variables and learn ...
Lei Li, James McCann, Nancy S. Pollard, Christos F...