1284 search results - page 143 / 257 » On Helping and Interactive Proof Systems |
BMCBI
2008
13 years 10 months ago
2008
Background: High-throughput genome biological experiments yield large and multifaceted datasets that require flexible and user-friendly analysis tools to facilitate their interpre...
HCI
2007
13 years 11 months ago
2007
Brain-Computer Interfaces (BCIs) are systems capable of decoding neural activity in real time, thereby allowing a computer application to be directly controlled by the brain. Since...
AAMAS
2007
Springer
13 years 10 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
Applications supporting navigation in large networks are used every days by millions of people. They include road map navigators, ight route visualization systems, and network vis...
CHI
2008
ACM
14 years 10 months ago
2008
ACM
Expertise locator systems have been designed to help find experts within organizations. While there are many examples of these systems in the literature, there has not been any sy...