2297 search results - page 22 / 460 » An Algorithm for Computing the Integral Closure |
ISORC
2007
IEEE
15 years 6 months ago
2007
IEEE
WSS
2001
15 years 1 months ago
2001
We present a formal specification of the PING protocol, and use three concepts of convergence theory, namely closure, convergence, and protection, to show that this protocol is se...
ENTCS
2007
14 years 11 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
TROB
2008
14 years 11 months ago
2008
This paper describes a biologically inspired approach to vision-only simultaneous localization and mapping (SLAM) on ground-based platforms. The core SLAM system, dubbed RatSLAM, i...
106
click to vote
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
The cost of reachability query computation using traditional algorithms such as depth first search or transitive closure has been found to be prohibitive and unacceptable in mass...