Sciweavers

4698 search results - page 920 / 940
» Making Functionality More General
Sort
View
BIRD
2008
Springer
109views Bioinformatics» more  BIRD 2008»
15 years 4 months ago
A Robust Class of Stable Proteins in the 2D HPC Model
The inverse protein folding problem is that of designing an amino acid sequence which has a prescribed native protein fold. This problem arises in drug design where a particular st...
Alireza Hadj Khodabakhshi, Ján Manuch, Aras...
ACCV
2007
Springer
15 years 4 months ago
A Convex Programming Approach to the Trace Quotient Problem
Abstract. The trace quotient problem arises in many applications in pattern classification and computer vision, e.g., manifold learning, low-dimension embedding, etc. The task is ...
Chunhua Shen, Hongdong Li, Michael J. Brooks
DIMEA
2008
170views Multimedia» more  DIMEA 2008»
15 years 4 months ago
Embodiment in data sculpture: a model of the physical visualization of information
Information is becoming pervasive in the contemporary society, and is increasingly saturating the visual senses and the cognitive efforts of the lay masses. As our attention for v...
Jack Zhao, Andrew Vande Moere
131
Voted
FOSSACS
2008
Springer
15 years 4 months ago
Erasure and Polymorphism in Pure Type Systems
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
Nathan Mishra-Linger, Tim Sheard
112
Voted
BCSHCI
2008
15 years 4 months ago
Low cost prototyping: part 2, or how to apply the thinking-aloud method efficiently
Customer satisfaction with regard to user interfaces becomes increasingly more important and is, eventually, decisive for the selection of systems within a competitive market. End...
Andreas Holzinger, Stephen Brown