12774 search results - page 2450 / 2555 » A Framework for Proof Systems |
179
click to vote
ACMDIS
2010
ACM
15 years 6 months ago
2010
ACM
One of the major challenges in the design of social technologies is the evaluation of their qualities of use and how they are appropriated over time. While the field of HCI abound...
173
click to vote
AROBOTS
2008
15 years 6 months ago
2008
Abstract: We describe a methodology for creating new technologies for assisted living in residential environments. The number of eldercare clients is expected to grow dramatically ...
162
click to vote
AROBOTS
2007
15 years 6 months ago
2007
Robotic Development Environments (RDEs) have come to play an increasingly important role in robotics research in general, and for the development of architectures for mobile robot...
185
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Large-scale genomic studies often identify large gene lists, for example, the genes sharing the same expression patterns. The interpretation of these gene lists is gen...
138
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: An adaptive coarse-grained (kinetic) Monte Carlo (ACGMC) simulation framework is applied to reaction and diffusion dynamics in inhomogeneous domains. The presented mod...