Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
The problems of accessing and integrating heterogeneous information sources are becoming centerstage problems. One problem arising from accessing heterogeneous sources is semantic...
Ngamnij Arch-int, Yuefeng Li, Paul Roe, Peraphon S...
Before undertaking new biomedical research, identifying concepts that have already been patented is essential. Traditional keyword based search on patent databases may not be suļ¬...
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
We focus on the productionof efļ¬cient descriptionsof objects, actions and events. We deļ¬ne a type of efļ¬ciency, textualeconomy, thatexploitsthe hearerās recognitionof infe...