1981 search results - page 362 / 397 » Model-Checking Hierarchical Structures |
WABI
2009
Springer
14 years 3 months ago
2009
Springer
Background: The fingerprint of a molecule is a bitstring based on its structure, constructed such that structurally similar molecules will have similar fingerprints. Molecular fin...
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper presents a beat-counting robot that can count musical beats aloud, i.e., speak “one, two, three, four, one, two, ...” along music, while listening to music by us...
ICASSP
2007
IEEE
14 years 3 months ago
2007
IEEE
There are currently a large number of ‘‘orphan’’ G-protein-coupled receptors (GPCRs) whose endogenous ligands (peptide hormones) are unknown. Identification of these pepti...
SI3D
2005
ACM
14 years 2 months ago
2005
ACM
We present a new interactive method to texture complex geometries at very high resolution, while using little memory and without the need for a global planar parameterization. We ...
MICRO
2003
IEEE
14 years 2 months ago
2003
IEEE
Large instruction window processors achieve high performance by exposing large amounts of instruction level parallelism. However, accessing large hardware structures typically req...