469 search results - page 25 / 94 » Putting curry-howard to work |
CONTEXT
2007
Springer
14 years 1 months ago
2007
Springer
Ambient intelligent systems are context aware by perceiving and reasoning about their environment, they perceive the needs of their users and proactively respond to these needs by ...
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
MCAM
2007
Springer
14 years 1 months ago
2007
Springer
This paper proposes a scheme to detect and locate the players and the ball on the grass playfield in soccer videos. We put forward a shape analysisbased approach to identify the pl...
ACCV
2006
Springer
14 years 1 months ago
2006
Springer
We consider the task of computing the pose of an object relative to a camera, for the case where the camera has no direct view of the object. This problem was encountered in work o...
AINA
2005
IEEE
14 years 1 months ago
2005
IEEE
More and more sensor networks will be deployed in the place where people are living, studying, and working. These sensor networks bring us the convenience of accessing information...