4211 search results - page 424 / 843 » Types as Abstract Interpretations |
174
click to vote
INEX
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper we report an initial comparison of relevance assessments made as part of the INEX 2006 Interactive Track (itrack’06) to those made for the topic assessmen...
150
click to vote
RTA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...
188
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
165
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...
120
click to vote
ISCAS
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— The V-BLAST (vertical Bell labs layered spacetime) system is one of the MIMO systems designed to achieve a good multiplexing gain. In the recent literature, a V-BLAST p...