1791 search results - page 138 / 359 » Two Types of Multiple-Conclusion Systems |
COSIT
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Current mobile computing systems can automatically sense and communicate detailed data about a person’s location. Location privacy is an urgent research issue because c...
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
GCC
2005
Springer
14 years 2 months ago
2005
Springer
With increasing concerns about the personalized information space, users have been posting various types of information on their own blogs. Due to the domain-specific properties of...
ICLP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
IJCNLP
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, a resolution system is presented to tackle nominal and pronominal anaphora in biomedical literature by using rich set of syntactic and semantic features. Unlike prev...