Sciweavers

1288 search results - page 98 / 258
» Visual Generalization in Programming by Example
Sort
View
98
Voted
ICFP
2005
ACM
16 years 2 months ago
Qualified types for MLF
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
Andres Löh, Daan Leijen
VIS
2008
IEEE
175views Visualization» more  VIS 2008»
16 years 3 months ago
Generation of Accurate Integral Surfaces in Time-Dependent Vector Fields
We present a novel approach for the direct computation of integral surfaces in general vector fields. As opposed to previous work, which we analyze in detail, our approach is based...
Christoph Garth, Hari Krishnan, Xavier Tricoche,...
131
Voted
IUI
2005
ACM
15 years 8 months ago
The centrality of pivotal points in the evolution of scientific networks
In this paper, we describe the development of CiteSpace as an integrated environment for identifying and tracking thematic trends in scientific literature. The goal is to simplify...
Chaomei Chen
121
Voted
IHM
2004
ACM
15 years 8 months ago
Composant logiciel vs physique pour interagir avec un espace de valeurs temporelles
Timelines are recurrently used to design visualization techniques of temporal data. In this paper, we present our perspective wall timeline to visualize temporal values. We illust...
Chaouki Daassi, Laurence Nigay, Marie-Christine Fa...
153
Voted
VISUALIZATION
1997
IEEE
15 years 6 months ago
Constrained 3D navigation with 2D controllers
Navigation through 3D spaces is required in many interactive graphics and virtual reality applications. We consider the subclass of situations in which a 2D device such as a mouse...
Andrew J. Hanson, Eric A. Wernert