10916 search results - page 1910 / 2184 » On Constructive Connectives and Systems |
202
click to vote
FOCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—This paper generalizes the classical Knuth–Schönhage algorithm computing the greatest common divisor (gcd) of two polynomials for solving arbitrary linear Diophantine...
148
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This study provides some empirical insight into managerial roles of chief information officer (CIO) based on Mintzberg's classic managerial role model and CSC's informat...
157
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— Tracked mobile robots in the 20 kg size class are under development for applications in urban reconnaissance. For efficient deployment, it is desirable for teams of ro...
187
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe results on combining depth information from a laser range-finder and color and texture image cues to segment ill-structured dirt, gravel, and asphalt roads as input t...
165
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...