1451 search results - page 207 / 291 » Order independence and rationalizability |
140
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
In this paper, we focus on the problem of existence of and computing small and large stable models. We show that for every xed integer k, there is a linear-time algorithm to decid...
167
click to vote
ICCCN
1998
IEEE
15 years 10 months ago
1998
IEEE
Data protection and data security become more significant since telecommunication services and innovative applications based on these services handle an increasing amount of sensi...
152
click to vote
VISUALIZATION
1998
IEEE
15 years 10 months ago
1998
IEEE
We introduce a new approach for mapping texture on volumetric iso-surfaces and parametric surfaces. Our approach maps 2D images on surfaces while maintaining continuity and preser...
146
click to vote
B
1998
Springer
15 years 10 months ago
1998
Springer
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
159
click to vote
CP
1998
Springer
15 years 10 months ago
1998
Springer
A well-studied problem in the electric power industry is that of optimally scheduling preventative maintenance of power generating units within a power plant. We show how these pr...