Sciweavers

336 search results - page 20 / 68
» Analytic Cut Trees
Sort
View
CGVR
2006
15 years 1 months ago
A Bipolar Model for Region Simplification
In this paper we introduce an algorithm for simplifying a 2D discrete region. This algorithm is based on a bipolar model of regions. Given a discrete region, we cut its Voronoi di...
Yuqing Song, Jie Shen, David Yoon
ENTCS
2000
123views more  ENTCS 2000»
14 years 11 months ago
Defining Standard Prolog in Rewriting Logic
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...
Marija Kulas, Christoph Beierle
AEI
2006
253views more  AEI 2006»
14 years 12 months ago
Computer based pedestrian landscape design using decision tree templates
Machine Learning algorithms can act as a valuable analytical tool in design research. In this paper, we demonstrate the application of a decision tree learning algorithm for desig...
Baranidharan Raman, Jody R. Naderi
ITC
2003
IEEE
170views Hardware» more  ITC 2003»
15 years 5 months ago
Double-Tree Scan: A Novel Low-Power Scan-Path Architecture
In a scan-based system with a large number of flip-flops, a major component of power is consumed during scanshift and clocking operation in test mode. In this paper, a novel scan-...
Bhargab B. Bhattacharya, Sharad C. Seth, Sheng Zha...
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 6 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...