We introduce the possibility of combining lexical association measures and present empirical results of several methods employed in automatic collocation extraction. First, we pre...
This technical report describes the XML data integration framework being built within the AutoMed heterogeneous data integration system. It presents a description of the overall f...
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
New results on the recognizability of sets of finite graphs, hypergraphs and relational structures are presented. The general framework of this research which associates tightly a...
An overview of research on the implementation of neural systems is presented in this paper. We focus on implementations where the algorithms and their physical support are tightly ...
Patrice Fleury, Adria Bofill-i-Petit, Alan F. Murr...