4911 search results - page 57 / 983 » Tree dependence analysis |
CVPR
2011
IEEE
13 years 6 months ago
2011
IEEE
This paper proposes a novel method that preserves the geometrical structure created by variation of multiple factors in analysis of multiple factor models, i.e., multifactor analy...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
CSMR
2009
IEEE
14 years 3 months ago
2009
IEEE
Decomposing a software system into smaller, more manageable clusters is a common approach to support the comprehension of large systems. In recent years, researchers have focused ...
DFT
2003
IEEE
14 years 4 months ago
2003
IEEE
1 Today many safety-critical applications are based on distributed systems where several computing nodes exchange information via suitable network interconnections. An example of t...
ACG
2003
Springer
14 years 3 months ago
2003
Springer
We present a new method for taking advantage of the relative independence between parts of a single-player game. We describe an implementation for improving the search in a solitai...