4488 search results - page 28 / 898 » Properties of NP-Complete Sets |
AI
2007
Springer
13 years 8 months ago
2007
Springer
One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been c...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
: The asynchronous systems are the models of the asynchronous circuits from the digital electrical engineering. An asynchronous system f is a multi-valued function that assigns to ...
DCG
2007
13 years 7 months ago
2007
Any finite set X ⊂ Rd colored with d+3 2 colors, contains a rainbow subset Y ⊂ X, such that any ball that contains Y contains a positive fraction of the points of X. The bound...
AGP
1998
IEEE
13 years 11 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
AMAI
1998
Springer
13 years 7 months ago
1998
Springer
ns. Finally, we study abstract properties of selection operators connected to belief set operators, which are used to choose some of the possible belief sets.