Sciweavers

1594 search results - page 54 / 319
» Visualizing Program Executions on Large Data Sets
Sort
View
CP
2006
Springer
15 years 5 months ago
Generating Propagators for Finite Set Constraints
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
Guido Tack, Christian Schulte, Gert Smolka
TVCG
2008
103views more  TVCG 2008»
15 years 1 months ago
Who Votes For What? A Visual Query Language for Opinion Data
Surveys and opinion polls are extremely popular in the media, especially in the months preceding a general election. However, the available tools for analyzing poll results often r...
Geoffrey M. Draper, Richard F. Riesenfeld
CORR
2008
Springer
113views Education» more  CORR 2008»
15 years 2 months ago
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
Paul Tarau
121
Voted
AVI
2006
15 years 3 months ago
Task-at-hand interface for change detection in stock market data
Companies trading stocks need to store information on stock prices over specific time intervals, which results in very large databases. Large quantities of numerical data (thousan...
Carmen Sanz Merino, Mike Sips, Daniel A. Keim, Chr...
ASM
2008
ASM
15 years 3 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright