Sciweavers

114 search results - page 6 / 23
» Maintaining Consistency in Hierarchical Reasoning
Sort
View
TIME
1994
IEEE
13 years 11 months ago
Localized Temporal Reasoning: A State-Based Approach
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
Shieu-Hong Lin, Thomas Dean
WS
2003
ACM
14 years 18 days ago
An authentication framework for hierarchical ad hoc sensor networks
Recent results indicate scalability problems for flat ad hoc networks. To address the issue of scalability, self-organizing hierarchical ad hoc architectures are being investigat...
Mathias Bohge, Wade Trappe
JAPLL
2008
121views more  JAPLL 2008»
13 years 7 months ago
Reasoning with prioritized information by iterative aggregation of distance functions
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
Ofer Arieli
ETS
2011
IEEE
224views Hardware» more  ETS 2011»
12 years 7 months ago
AVF Analysis Acceleration via Hierarchical Fault Pruning
—The notion of Architectural Vulnerability Factor (AVF) has been extensively used by designers to evaluate various aspects of design robustness. While AVF is a very accurate way ...
Michail Maniatakos, Chandra Tirumurti, Abhijit Jas...
CHI
2008
ACM
14 years 7 months ago
FacetZoom: a continuous multi-scale widget for navigating hierarchical metadata
Faceted browsing is a promising way to incrementally refine data sets. Current approaches do not scale well in terms of screen size and have shortcomings in interacting with hiera...
Raimund Dachselt, Mathias Frisch, Markus Weiland