Sciweavers

1171 search results - page 130 / 235
» Graph-Constrained Group Testing
Sort
View
COMPUTER
1999
69views more  COMPUTER 1999»
15 years 4 months ago
Scientific Components Are Coming
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
Paul F. Dubois
SIGCSE
2002
ACM
202views Education» more  SIGCSE 2002»
15 years 4 months ago
A tutorial program for propositional logic with human/computer interactive learning
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
Stacy Lukins, Alan Levicki, Jennifer Burg
TOG
2002
107views more  TOG 2002»
15 years 4 months ago
Ordered and quantum treemaps: Making effective use of 2D space to display hierarchies
Treemaps, a space-filling method of visualizing large hierarchical data sets, are receiving increasing attention. Several algorithms have been proposed to create more useful displ...
Benjamin B. Bederson, Ben Shneiderman, Martin Watt...
PVLDB
2008
167views more  PVLDB 2008»
15 years 3 months ago
Managing and querying transaction-time databases under schema evolution
The old problem of managing the history of database information is now made more urgent and complex by fast spreading web information systems, such as Wikipedia. Our PRIMA system ...
Hyun Jin Moon, Carlo Curino, Alin Deutsch, Chien-Y...
PAMI
2010
210views more  PAMI 2010»
15 years 2 months ago
Multi-Object Analysis of Volume, Pose, and Shape Using Statistical Discrimination
Abstract— One goal of statistical shape analysis is the discrimination between two populations of objects. In this paper, we present results of discriminant analysis on multi-obj...
Kevin Gorczowski, Martin Styner, Ja-Yeon Jeong, J....