979 search results - page 85 / 196 » Footprints in Local Reasoning |
VMV
2003
13 years 9 months ago
2003
In this paper we propose a new topology based metric for 2D vector fields. This metric is based on the concept of feature flow fields. We show that it incorporates both the cha...
SIGKDD
2008
13 years 7 months ago
2008
A cellular automaton is a discrete, dynamical system composed of very simple, uniformly interconnected cells. Cellular automata may be seen as an extreme form of simple, localized...
WAOA
2010
Springer
13 years 5 months ago
2010
Springer
The r-domination search game on graphs is a game-theoretical approach to several graph and hypergraph parameters including treewidth and hypertree width. The task is to identify t...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
VOTEID
2007
Springer
14 years 1 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...