11949 search results - page 163 / 2390 » Some results on (a:b)-choosability |
133
click to vote
AIML
2006
15 years 2 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
CCCG
2006
15 years 2 months ago
2006
We study the following geometric probing problem: Reconstruct a planar polygon from its intersections with a collection of arbitrarily-oriented "cutting" lines. We propo...
DAIS
2001
15 years 2 months ago
2001
In this paper we present some of the results achieved while realizing an international research project aiming at the design and development of an Object
EUSFLAT
2003
15 years 2 months ago
2003
The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. The procedure is proved ...
106
click to vote
NIPS
2004
15 years 2 months ago
2004
We show that anomaly detection can be interpreted as a binary classification problem. Using this interpretation we propose a support vector machine (SVM) for anomaly detection. We...