469 search results - page 47 / 94 » Putting curry-howard to work |
MHCI
2007
Springer
14 years 1 months ago
2007
Springer
The proposed demonstration is based on the work performed in the PERCI project and presents a generic framework to access and interact with Web Services through mobile interaction...
AGILEDC
2006
IEEE
14 years 1 months ago
2006
IEEE
How do we implement Agile? Is Agile a good thing for my organization? What barriers will I have to overcome? All of these are important questions when deciding whether and how to ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Over the last several years, the Computer Science (CS) community has put a great deal of effort in to the area of security research, and have made great advances. Counterintuitive...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
- In this paper, we seek to understand how leg muscles and tendons work mechanically during walking in order to motivate the design of efficient robotic legs. We hypothesize that a...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— To address perception problems we must be able to track dynamics targets of the environment. An important issue of tracking is filtering problem in which estimates of the targ...