469 search results - page 48 / 94 » Putting curry-howard to work |
AGILEDC
2005
IEEE
14 years 1 months ago
2005
IEEE
Can government software projects be agile? What do Scrum and XP practices have to offer in this regulated and highly political environment? In this experience report, I will discu...
ICCV
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a quality assessment procedure for correspondence estimation based on geometric coherence rather than ground truth. The procedure can be used for performance evaluation...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
INEX
2005
Springer
14 years 1 months ago
2005
Springer
This paper reports on the INRIA group’s approach to XML mining while participating in the INEX XML Mining track 2005. We use a flexible representation of XML documents that allo...
EWCBR
2004
Springer
14 years 1 months ago
2004
Springer
Model-based object recognition is a well-known task in Computer Vision. Usually, one object that can be generalized by a model should be detected in an image based on this model. B...