9210 search results - page 1801 / 1842 » Analyzing Real-Time Systems |
119
Voted
DLOG
2004
15 years 4 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
136
Voted
DBSEC
2006
15 years 4 months ago
2006
Abstract. Attack graph is important in defending against well-orchestrated network intrusions. However, the current analysis of attack graphs requires an algorithm to be developed ...
134
Voted
NETWORKING
2004
15 years 4 months ago
2004
Abstract. This paper analyzes the performance of directional collision avoidance schemes, in which antenna systems are used to direct the transmission and reception of control and ...
144
Voted
NIPS
2001
15 years 4 months ago
2001
High dimensional data that lies on or near a low dimensional manifold can be described by a collection of local linear models. Such a description, however, does not provide a glob...
109
Voted
NIPS
2001
15 years 4 months ago
2001
In nature, animals encounter high dimensional sensory stimuli that have complex statistical and dynamical structure. Attempts to study the neural coding of these natural signals f...