5451 search results - page 311 / 1091 » On very high degrees |
155
Voted
AICCSA
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper the Karnaugh and Quine-McCluskey methods are used for symbolic classification problem, and then these methods are compared with other famous available methods. Becau...
179
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Landing on distant planets is always a challenging task due to the distance and hostile environments found. In the design of autonomous hazard avoidance systems we find the particu...
178
click to vote
ISER
2000
Springer
15 years 11 months ago
2000
Springer
: In the future, we propose that there will be largely self-sufficient robot colonies operating on distant planets and in harsh environments here on earth. A highly desirable quali...
195
click to vote
RTAS
2000
IEEE
15 years 11 months ago
2000
IEEE
Policing of incoming packets can produce very high load in worst-case situations on a receiving computer. In realtime systems, resources must be allocated for such worstcase situa...
190
Voted
MPC
1995
Springer
15 years 11 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...