2701 search results - page 359 / 541 » On the form of witness terms |
175
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
172
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We believe that design patterns can be an effective means of consolidating and communicating program construction expertise for functional programming, just as they have proven to...
170
click to vote
RAS
2000
15 years 6 months ago
2000
This paper presents an optimisation system software developed for the determination of optimal index positions of cutting tools on the automatic tool changer (ATC) or turret magaz...
184
click to vote
SIAMAM
2000
15 years 6 months ago
2000
Orientation of extracellular matrix fibers in the skin is a key ingredient of tissue appearance and function, and differences in fiber alignment are one of the main distinctions be...
191
click to vote
APIN
1999
15 years 6 months ago
1999
The problem of figure-ground separation is tackled from the perspective of combinatorial optimization. Previous attempts have used deterministic optimization techniques based on re...