6438 search results - page 978 / 1288 » A Parameterised Search System |
174
Voted
GRAPHICSINTERFACE
2004
15 years 8 months ago
2004
We present a system for creating interactive exploded view diagrams using 2D images as input. This imagebased approach enables us to directly support arbitrary rendering styles, e...
182
click to vote
AIPS
2003
15 years 8 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
156
click to vote
DC
2001
15 years 8 months ago
2001
This paper provides a report of work in progress to implement integrated access to multiple digital collections that are described using a variety of metadata formats. Using the e...
174
click to vote
CIDR
2003
15 years 8 months ago
2003
Partitioning within a B-tree, based on an artificial leading key column and combined with online reorganization, can be exploited during external merge sort for accurate deep read...
166
click to vote
ISTA
2004
15 years 8 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...