Sciweavers

6010 search results - page 416 / 1202
» Computational Approaches to Drug Design
Sort
View
CAD
2005
Springer
15 years 6 months ago
Computer-aided characterization for effective mechanical properties of porous tissue scaffolds
Performance of various functions of the tissue structure depends on porous scaffold microstructures with specific porosity characteristics that influence the behavior of the incor...
Zhibin Fang, Binil Starly, Wei Sun
DAC
2006
ACM
16 years 8 months ago
Automatic invariant strengthening to prove properties in bounded model checking
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
Mohammad Awedh, Fabio Somenzi
CHI
2005
ACM
16 years 7 months ago
Evaluating paper prototypes on the street
The evaluation of paper prototypes is normally conducted in controlled settings such as a usability lab. This paper, in contrast, reports on a study where evaluations of a paper p...
David G. Hendry, Sara Mackenzie, Ann Kurth, Freya ...
CHI
2002
ACM
16 years 7 months ago
Hierarchical faceted metadata in site search interfaces
One of the most pressing usability issues in the design of large web sites is that of the organization of search results. A previous study on a moderate-sized web site indicated t...
Jennifer English, Marti A. Hearst, Rashmi R. Sinha...
SAC
2006
ACM
16 years 28 days ago
Towards a model-driven join point model
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...
Walter Cazzola, Antonio Cicchetti, Alfonso Pierant...