Sciweavers

16666 search results - page 71 / 3334
» Descriptive and Computational Complexity
Sort
View
DATE
2000
IEEE
132views Hardware» more  DATE 2000»
15 years 10 months ago
Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
TSP
2008
187views more  TSP 2008»
15 years 6 months ago
Invariant Description and Retrieval of Planar Shapes Using Radon Composite Features
This paper proposes a novel feature-based invariant descriptor termed Radon composite features (RCFs) for planar shapes. Instead of analyzing shapes directly in the spatial domain,...
Yun Wen Chen, Yan Qiu Chen
SPRINGSIM
2010
15 years 4 months ago
GTNA: a framework for the graph-theoretic network analysis
Concise and reliable graph-theoretic analysis of complex networks today is a cumbersome task, consisting essentially of the adaptation of intricate libraries for each specific pr...
Benjamin Schiller, Dirk Bradler, Immanuel Schweize...
WEBI
2009
Springer
16 years 22 days ago
Measuring Inconsistency in DL-Lite Ontologies
Abstract—Measuring Inconsistency in ontologies is an important topic in ontology engineering as it can provide extra information for dealing with inconsistency. Many approaches h...
Liping Zhou, Houkuan Huang, Guilin Qi, Yue Ma, Zhi...
EAGC
2004
Springer
15 years 11 months ago
Pegasus: Mapping Scientific Workflows onto the Grid
In this paper we describe the Pegasus system that can map complex workflows onto the Grid. takes an abstract description of a workflow and finds the appropriate data and Grid reso...
Ewa Deelman, James Blythe, Yolanda Gil, Carl Kesse...