2794 search results - page 461 / 559 » A New Architecture for Automated Modelling |
137
click to vote
WCE
2007
15 years 7 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...
174
click to vote
IANDC
2008
15 years 6 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...
171
click to vote
ENTCS
2006
15 years 6 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...
163
click to vote
ESWA
2006
15 years 6 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...
200
click to vote
DKE
2007
15 years 6 months ago
2007
Integration of multiple heterogeneous data sources continues to be a critical problem for many application domains and a challenge for researchers world-wide. With the increasing ...