6010 search results - page 178 / 1202 » Computational Approaches to Drug Design |
ACII
2007
Springer
14 years 2 months ago
2007
Springer
To build autonomous robots able to live and interact with humans in a real-world dynamic and uncertain environment, the design of architectures permitting robots to develop attachm...
BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
CHI
2002
ACM
14 years 11 months ago
2002
ACM
Blind or visually impaired users typically access diagrams in the tactile medium. This paper describes TouchMelody, a system designed for augmenting such existing diagrams with 3D...
GECCO
2007
Springer
14 years 5 months ago
2007
Springer
Print media are still very important for everyone's daily life. Current efforts are concerned with the application of the wellestablished offset-printing technology to other ...
PERVASIVE
2005
Springer
14 years 4 months ago
2005
Springer
In this paper, we describe TinyObj service discovery model, which uses short wireless packet broadcasts for service discovery within a user’s vicinity. We present a prototype im...