10899 search results - page 1826 / 2180 » The GP Programming System |
176
click to vote
ASP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The paper describes HıLεX, a new ASP-based system for the extraction of information from unstructured documents. Unlike previous systems, which are mainly syntactic, HÄ...
180
click to vote
HIPEAC
2010
Springer
15 years 8 months ago
2010
Springer
This paper presents a program generator for fast software Viterbi decoders for arbitrary convolutional codes. The input to the generator is a specification of the code and a single...
163
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
141
click to vote
ISSRE
2007
IEEE
15 years 7 months ago
2007
IEEE
Enterprise systems must guarantee high availability and reliability to provide 24/7 services without interruptions and failures. Mechanisms for handling exceptional cases and impl...
133
click to vote
LREC
2010
15 years 7 months ago
2010
The focus of information retrieval evaluations, such as NIST's TREC evaluations (e.g. Voorhees 2003), is on evaluation of the information content of system responses. On the ...