526 search results - page 67 / 106 » Towards the Verifying Compiler |
WCRE
1999
IEEE
15 years 2 months ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...
PKC
1998
Springer
15 years 1 months ago
1998
Springer
A basic function of all signatures, digital or not, is to express trust and authority, explicit or implied. This is especially the case with digital signatures used in certificates...
102
click to vote
ADBIS
2007
Springer
15 years 1 months ago
2007
Springer
Existing work repeatedly addresses that the ubiquitous positioning devices will start to generate an unprecedented stream of time-stamped positions leading to storage and computati...
AIPR
2004
IEEE
15 years 1 months ago
2004
IEEE
Successful Unmanned Ground Vehicle (UGV) navigation in urban areas requires the competence of the vehicle to cope with Global Positioning System (GPS) outages and/or unreliable po...
ISMIS
2000
Springer
15 years 1 months ago
2000
Springer
This paper is devoted to the problem of learning to predict ordinal (i.e., ordered discrete) classes using classification and regression trees. We start with S-CART, a tree inducti...