1444 search results - page 177 / 289 » On Variations of Power Iteration |
ACMDIS
1997
ACM
14 years 10 days ago
1997
ACM
This paper presents the design of a new form of computer interface that uses physical objects to embody digital information, providing a means for interacting with data. Triangles...
ICCAD
1994
IEEE
14 years 8 days ago
1994
IEEE
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
CHI
1994
ACM
14 years 7 days ago
1994
ACM
We propose a simple and powerful predictive interface technique for text editing tasks. With our technique called the dynamic macro creation, when a user types a special "rep...
APLAS
2007
ACM
14 years 4 days ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
EPEW
2008
Springer
13 years 10 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...