We introduce the possibility of combining lexical association measures and present empirical results of several methods employed in automatic collocation extraction. First, we pre...
Researchers often express probabilistic planning problems as Markov decision process models and then maximize the expected total reward. However, it is often rational to maximize ...
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...
While the mechanisms of plaque development in coronary arteries are not yet completely understood, vessel geometry and its influence on hemodynamics are of major importance. This ...
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...