11739 search results - page 218 / 2348 » Slideshow: functional presentations |
122
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
129
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Neuronal communication is tightly regulated in time and in space. The neuronal transmission takes place in the nerve terminal, at a specialized structure called the sy...
147
Voted
MAGS
2008
15 years 5 months ago
2008
This paper presents a decentralized model that allows self-interested agents to reach "win-win" agreements in a multi-attribute negotiation. The model is based on an alt...
145
click to vote
RAS
2006
15 years 4 months ago
2006
Humans have a remarkable ability to navigate using only vision, but mobile robots have not been nearly as successful. We propose a new approach to vision-guided local navigation, ...
128
click to vote
INTEGRATION
2007
15 years 4 months ago
2007
The ubiquitous presence of mobile devices and the demand for better performance and efficiency have motivated research into embedded implementations of cryptography algorithms. I...