469 search results - page 26 / 94 » Putting curry-howard to work |
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
AI
2005
Springer
14 years 1 months ago
2005
Springer
This paper addresses the task of finding acronym-definition pairs in text. Most of the previous work on the topic is about systems that involve manually generated rules or regular ...
ECSQARU
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
GREC
2005
Springer
14 years 1 months ago
2005
Springer
We present an approach for recognising mathematical texts using an extensive LATEX symbol database and a novel recognition algorithm. The process consists essentially of three step...
IH
2005
Springer
14 years 1 months ago
2005
Springer
This paper puts in consideration the concepts of security and robustness in watermarking, in order to be able to establish a clear frontier between them. A new information-theoreti...