3856 search results - page 698 / 772 » Models for Automated Earthmoving |
124
click to vote
ESWA
2008
15 years 3 months ago
2008
Since tacit knowledge such as know-how and experiences is hard to be managed effectively using information technology, it is recently proposed that providing an appropriate expert...
140
click to vote
IANDC
2008
15 years 3 months ago
2008
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...
131
Voted
ENTCS
2006
15 years 3 months ago
2006
Technologies for overcoming heterogeneities between autonomous data sources are key in the emerging networked world. In this paper we discuss the initial results of a formal inves...
128
click to vote
ESWA
2006
15 years 3 months ago
2006
Due to the exponential growth of documents on the Internet and the emergent need to organize them, the automated categorization of documents into predefined labels has received an...
128
Voted
GRID
2006
Springer
15 years 3 months ago
2006
Springer
Manual management of public key credentials can be a significant and often off-putting obstacle to Grid use, particularly for casual users. We describe the Portal-based User Regis...