11949 search results - page 117 / 2390 » Some results on (a:b)-choosability |
MFDBS
1989
15 years 5 months ago
1989
One of the key problems when extending relational database query languages to include deductive capabilities, is to provide them with efficient methods for answering recursive que...
114
click to vote
APN
2006
Springer
15 years 5 months ago
2006
Springer
A netchart is basically a Petri net whose places are located at some process and whose transitions are labeled by message sequence charts (MSCs). Two recent papers showed independe...
ISER
1995
Springer
15 years 4 months ago
1995
Springer
In this paper we discuss some aspects related to the practical assessment of the quality of a grasp by a robotic hand on objects of unknown shape, based on sensorial feedback from...
AAAI
2008
15 years 3 months ago
2008
In this paper, we propose a semi-supervised learning (SSL) algorithm based on local and global regularization. In the local regularization part, our algorithm constructs a regular...
127
click to vote
AIML
2008
15 years 2 months ago
2008
We generalise some results of [7, 5] and show that if L is an -modal logic (for some ordinal 3) such that (i) L contains the product logic K and (ii) the product of -many trees o...