1818 search results - page 159 / 364 » Granularity-Adaptive Proof Presentation |
125
Voted
AI
2010
Springer
15 years 3 months ago
2010
Springer
The past decade has seen clause learning as the most successful algorithm for SAT instances arising from real-world applications. This practical success is accompanied by theoreti...
107
click to vote
ARSCOM
2008
15 years 3 months ago
2008
We classify the minimal blocking sets of size 15 in PG(2, 9). We show that the only examples are the projective triangle and the sporadic example arising from the secants to the u...
99
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relationa...
117
click to vote
EJC
2010
15 years 3 months ago
2010
This article presents new bijections on planar maps. At first a bijection is established between bipolar orientations on planar maps and specific "transversal structures"...
150
click to vote
ENGL
2008
15 years 3 months ago
2008
This paper presents a neural network global PID-sliding mode control method for the tracking control of robot manipulators with bounded uncertainties. A certain sliding mode contro...