11462 search results - page 566 / 2293 » Developing Application-Centric Methods |
166
click to vote
JFR
2006
15 years 7 months ago
2006
Kat-5 was the fourth vehicle to make history in DARPA's 2005 Grand Challenge, where for the first time ever, autonomous vehicles were able to travel through 100 miles of roug...
192
click to vote
KES
2008
Springer
15 years 7 months ago
2008
Springer
Bipartite graphs appear in various scenes in the real world, and visualizing these graphs helps improve our understanding of network structures. The amount of information that is a...
199
click to vote
TR
2008
15 years 7 months ago
2008
A hybrid censoring scheme is a mixture of Type-I and Type-II censoring schemes. This article presents the statistical inferences on Weibull parameters when the data are Type-II hyb...
154
click to vote
JSC
2007
15 years 7 months ago
2007
Triangular decompositions for systems of polynomial equations with n variables, with exact coefficients, are well developed theoretically and in terms of implemented algorithms i...
212
click to vote
LOGCOM
2007
15 years 7 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...