469 search results - page 27 / 94 » Putting curry-howard to work |
ISSEP
2005
Springer
14 years 1 months ago
2005
Springer
In the recent past a number of concepts have achieved prominence in the quest for basic principles of informatics with long-term validity. Particularly at schools providing an all-...
ROBOCUP
2005
Springer
14 years 1 months ago
2005
Springer
To put more emphasis on real-world problems, the authors propose to extend the RoboCup competitions. In order to foster progress in the desired abilities the authors propose to exp...
ECAI
2004
Springer
14 years 29 days ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...
PATMOS
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. In this paper we present a new approach to power modeling and runtime power estimation for wireless network interface cards (WNICs). We obtain run-time power estimates by...
SEMWEB
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. This talk explores aspects relevant for peer-to-peer search infrastructures, which we think are better suited to semantic web search than centralized approaches. It does ...