Sciweavers

4352 search results - page 532 / 871
» A Representation Theorem and Applications
Sort
View
ICCD
1994
IEEE
142views Hardware» more  ICCD 1994»
15 years 11 months ago
Grammar-Based Optimization of Synthesis Scenarios
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
Andreas Kuehlmann, Lukas P. P. P. van Ginneken
CHI
1993
ACM
15 years 11 months ago
Relativity controller: reflecting user perspective in document spaces
As the ease of accessing and generating large quantities of information increases, people’s ability to navigate through that information and maintain personal perspective decrea...
Eric Justin Gould
CHI
1992
ACM
15 years 10 months ago
A Computational Model of Skilled Use of a Graphical User Interface
This paper describes a computational model of skilled use of a graphical user interface based on Kintsch's construction-integration theory [4, 8]. The model uses knowledge of...
Muneo Kitajima, Peter G. Polson
GIS
1992
ACM
15 years 10 months ago
Using Orientation Information for Qualitative Spatial Reasoning
A new approach to representing qualitative spatial knowledge and to spatial reasoning is presented. This approach is motivated by cognitive considerations and is based on relative ...
Christian Freksa
SIGGRAPH
1993
ACM
15 years 10 months ago
Mesh optimization
We present a method for solving the following problem: Given a set of data points scattered in three dimensions and an initial triangular mesh M0, produce a mesh M, of the same to...
Hugues Hoppe, Tony DeRose, Tom Duchamp, John Alan ...