14670 search results - page 2617 / 2934 » Designing interaction, not interfaces |
200
click to vote
PG
2000
IEEE
15 years 11 months ago
2000
IEEE
PDE surfaces, whose behavior is governed by Partial Differential Equations (PDEs), have demonstrated many modeling advantages in surface blending, free-form surface modeling, and ...
222
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
175
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
The widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the ...
174
click to vote
CHI
1996
ACM
15 years 10 months ago
1996
ACM
Email is one of the most successful computer applications yet devised. Our empirical data show however, that although email was originally designed as a communications application...
189
click to vote
CEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract- Complex systems techniques provide a powerful tool to study the emergent properties of networks of interacting genes. In this study we extract models of genetic regulator...