11168 search results - page 2085 / 2234 » Abstract State Processes |
SAFECOMP
2010
Springer
13 years 8 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
SEMWEB
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. A key problem in ontology alignment is that different ontological features (e.g., lexical, structural or semantic) vary widely in their importance for different ontology ...
SIES
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
TMA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Network traffic classification and anomaly detection have received much attention in the last few years. However, due to the the lack of common ground truth, proposed met...
WAW
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Motivated by social network data mining problems such as link prediction and collaborative filtering, significant research effort has been devoted to computing topologica...