8132 search results - page 1305 / 1627 » Dependability, Abstraction, and Programming |
174
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
177
click to vote
DBSEC
2008
15 years 8 months ago
2008
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
171
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In focussed XML retrieval, a retrieval unit is an XML element that not only contains information relevant to a user query, but also is specific to the query. INEX defin...
154
click to vote
LREC
2010
15 years 8 months ago
2010
A novel method to automatically associate ontological concepts to their realisations in texts is presented. The method has been developed in the context of the Papyrus project to ...
182
click to vote
LREC
2010
15 years 8 months ago
2010
Abstract. This paper presents an information system for legal professionals that integrates natural language processing technologies such as text classification and summarization. ...