158 search results - page 9 / 32 » Strong logics of first and second order |
134
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
This paper addresses the segmentation from an image of entities that have the form of a `network', i.e. the region in the image corresponding to the entity is composed of bran...
129
click to vote
IJCV
2010
15 years 10 days ago
2010
This paper addresses the segmentation from an image of entities that have the form of a ‘network’, i.e. the region in the image corresponding to the entity is composed of bran...
115
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
138
click to vote
IJCAI
1997
15 years 3 months ago
1997
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...
114
Voted
JSAC
2006
15 years 1 months ago
2006
We consider the problem of traffic grooming in WDM path, star, and tree networks. Traffic grooming is a variant of the well-known logical topology design, and is concerned with the...