9067 search results - page 1627 / 1814 » Adaptive Model Checking |
182
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This article wants to address the need for a research effort and framework that studies and embraces the novel, difficult but crucial issues of adaptation of knowledge r...
160
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
171
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to s...
155
click to vote
SCALESPACE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we address the topic of estimating two-frame dense optical flow from the monogenic curvature tensor. The monogenic curvature tensor is a novel image model, from whi...
193
click to vote
W2GIS
2007
Springer
16 years 1 months ago
2007
Springer
One of the challenges raised by the construction of the semantic Web lies in the analysis and management of complex relationships (thematic, spatial and temporal) connecting severa...