469 search results - page 54 / 94 » Putting curry-howard to work |
GI
2009
Springer
13 years 11 months ago
2009
Springer
: Implementing systems for emergency response poses various challenges. Information from various sources and systems needs to be integrated, processed, aggregated, and visualized i...
ICPR
2010
IEEE
13 years 10 months ago
2010
IEEE
Person identification using audio (speech) and visual (facial appearance, static or dynamic) modalities, either independently or jointly, is a thoroughly investigated problem in pa...
AAAI
2008
13 years 10 months ago
2008
Checking CSP consistency is shown, in theory, to be an NP-complete problem. There is two families of methods for CSP consistency checking. The first family holds the complete meth...
IWCMC
2010
ACM
13 years 9 months ago
2010
ACM
It is of utmost importance for the network research community to have access to tools and testbeds to explore future directions for Internet traffic monitoring and engineering. Al...
EUROSPI
2008
Springer
13 years 9 months ago
2008
Springer
Industry recognizes that very small enterprises (VSE), that develop parts involving software components are very important to the economy. These parts are often integrated into pro...