672 search results - page 128 / 135 » A General Solution to the Graph History Interaction Problem |
CIKM
2007
Springer
15 years 6 months ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
142
click to vote
MM
2009
ACM
15 years 5 months ago
2009
ACM
Following the exponential growth of social media, there now exist huge repositories of videos online. Among the huge volumes of videos, there exist large numbers of near-duplicate...
132
click to vote
ZUM
1997
Springer
15 years 4 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
106
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...
133
click to vote
SIAMIS
2010
14 years 7 months ago
2010
Simulated annealing (SA) and deterministic continuation are well-known generic approaches to global optimization. Deterministic continuation is computationally attractive but produ...