Sciweavers

1333 search results - page 54 / 267
» Categorial Minimalism
Sort
View
83
Voted
WWW
2005
ACM
16 years 1 months ago
Applying NavOptim to minimise navigational effort
A major factor in the effectiveness of the interaction which users have with Web applications is the ease with which they can locate information and functionality which they are s...
David Lowe, Xiaoying Kong
86
Voted
STOC
2002
ACM
91views Algorithms» more  STOC 2002»
16 years 1 months ago
New results on monotone dualization and generating hypergraph transversals
This paper considers the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph), whose associated decision problem is a prominent o...
Thomas Eiter, Georg Gottlob, Kazuhisa Makino
94
Voted
ICSE
2005
IEEE-ACM
16 years 27 days ago
Demonstration of JIVE and JOVE: Java as it happens
Dynamic software visualization is designed to provide programmers with insights as to what the program is doing. Most current visualizations either use program traces to show info...
Steven P. Reiss, Manos Renieris
97
Voted
ICFP
2004
ACM
16 years 23 days ago
Multi-return function call
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
Olin Shivers, David Fisher
80
Voted
EUROGRAPHICS
2010
Eurographics
15 years 10 months ago
Procedural Generation of Roads
In this paper, we propose an automatic method for generating roads based on a weighted anisotropic shortest path algorithm. Given an input scene, we automatically create a path co...
Eric Galin, Adrien Peytavie, Nicolas Maréchal, Er...