834 search results - page 47 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
129
click to vote
SIGGRAPH
1992
ACM
15 years 3 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
110
click to vote
DKE
1999
14 years 11 months ago
1999
A Data Warehouse DW is a database that collects and stores data from multiple remote and heterogeneous information sources. When a query is posed, it is evaluated locally, without...
107
click to vote
ISIPTA
2003
IEEE
15 years 5 months ago
2003
IEEE
We adopt the same mathematical model of a set M of probability measures as is central to the theory of coherent imprecise probability. However, we endow this model with an objecti...
ECOOPW
1999
Springer
15 years 4 months ago
1999
Springer
This paper reports the results of a workshop held at ECOOP’99. The workshop was set up to find answers to questions fundamental to the definition of a semantics for the Unifie...
103
click to vote
DSN
2004
IEEE
15 years 3 months ago
2004
IEEE
If we limit the contact rate of worm traffic, can we alleviate and ultimately contain Internet worms? This paper sets out to answer this question. Specifically, we are interested ...