432 search results - page 28 / 87 » Open Problems with Part-Whole Relations |
95
Voted
ELPUB
1998
ACM
15 years 4 months ago
1998
ACM
This paper presents the experience gained in work on two current Bulgarian projects aiming at the development of electronic resources for South-East European Studies, Slavic studi...
85
Voted
IJMMS
1998
15 years 4 days ago
1998
: Decision-support systems that help solving problems in open and weak theory domains, i.e. hard problems, need improved methods to ground their models in real world situations. Mo...
106
Voted
LPAR
2007
Springer
15 years 6 months ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
180
Voted
POPL
2002
ACM
16 years 23 days ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
89
Voted
STACS
2010
Springer
15 years 7 months ago
2010
Springer
Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This subclass of perfect graphs has bee...