2024 search results - page 187 / 405 » The Meaning of Ordered SOS |
200
click to vote
IJCAI
1997
15 years 8 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...
142
click to vote
WSC
1998
15 years 8 months ago
1998
We consider how to efficiently allocate computing resources in order to infer the best of a finite set of simulated systems, where best means that the system has the maximal expec...
154
click to vote
ISMB
1997
15 years 8 months ago
1997
Molecular biology has a communicationproblem. There are manydatabases using their ownlabels and categories for storing data objects and someusing identical labels andcategories bu...
172
click to vote
AAAI
1990
15 years 7 months ago
1990
This work pertains to the Knuth-Bendix (KB) algorithm which tries to find a complete set of reductions from a given set of equations. In the KB algorithm a term ordering is employ...
156
click to vote
CAD
2010
Springer
15 years 6 months ago
2010
Springer
We present an approach to compute a smooth, interpolating skin of an ordered set of 3D balls. By construction, the skin is constrained to be C1 continuous, and for each ball, it i...