Sciweavers

711 search results - page 98 / 143
» Methodological frameworks for large-scale network analysis a...
Sort
View
ISBI
2006
IEEE
14 years 10 months ago
Efficient 3-D adaptive filtering for medical image enhancement
Tensor based orientation adaptive filtering, an explicit methodology for anisotropic filtering, constitutes a flexible framework for medical image enhancement. The technique featu...
Örjan Smedby, Björn Svensson, Hans Knuts...
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
14 years 3 months ago
Design with race-free hardware semantics
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
POLICY
2007
Springer
14 years 3 months ago
On Interoperable Trust Negotiation Strategies
Among the many works on trust negotiation, only a few deal with negotiation strategies. These works are tailored to specific frameworks—so their results cannot be extended to c...
Sabrina Baselice, Piero A. Bonatti, Marco Faella
KDD
2012
ACM
242views Data Mining» more  KDD 2012»
11 years 11 months ago
Query-driven discovery of semantically similar substructures in heterogeneous networks
Heterogeneous information networks that contain multiple types of objects and links are ubiquitous in the real world, such as bibliographic networks, cyber-physical networks, and ...
Xiao Yu, Yizhou Sun, Peixiang Zhao, Jiawei Han
DAC
2003
ACM
14 years 10 months ago
Coverage directed test generation for functional verification using bayesian networks
Functional verification is widely acknowledged as the bottleneck in the hardware design cycle. This paper addresses one of the main challenges of simulation based verification (or...
Shai Fine, Avi Ziv