11949 search results - page 282 / 2390 » Some results on (a:b)-choosability |
101
click to vote
AAAI
1996
15 years 3 months ago
1996
This paper investigates the foundation of rnaxipnin, one of the central qualitative decision criteria, using the approach taken by Savage (Savage 1972) to investigate the foundati...
161
click to vote
IWAR
1992
15 years 2 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
128
click to vote
SYRCODIS
2007
15 years 2 months ago
2007
High complexity of lattice construction algorithms and uneasy way of visualising lattices are two important problems connected with the formal concept analysis. Algorithm complexi...
134
click to vote
BILDMED
2009
15 years 2 months ago
2009
It is a common approach to create and inspect histological slices to investigate functional and morphological structures on a cellular level. For the easier analysis of the resulti...
101
click to vote
ACTA
2007
15 years 1 months ago
2007
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...