432 search results - page 9 / 87 » Open Problems with Part-Whole Relations |
96
Voted
DEXAW
1998
IEEE
15 years 4 months ago
1998
IEEE
Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizin...
97
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
In typical open source software development, developers use revision control systems for product management, mailing list systems for human communications, and bug tracking system...
123
Voted
ACL
2010
14 years 10 months ago
2010
A challenging problem in open information extraction and text mining is the learning of the selectional restrictions of semantic relations. We propose a minimally supervised boots...
104
click to vote
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
102
Voted
AIML
2008
15 years 1 months ago
2008
We present a complete axiomatization of a logic denoted by MTML (Mereo-Topological Modal Logic) based on the following set of mereotopological relations: part-of, overlap, underlap...