Sciweavers

16666 search results - page 71 / 3334
» Descriptive and Computational Complexity
Sort
View
127
Voted
DATE
2000
IEEE
132views Hardware» more  DATE 2000»
15 years 8 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...
138
Voted
TSP
2008
187views more  TSP 2008»
15 years 3 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
171
Voted
SPRINGSIM
2010
15 years 2 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...
127
Voted
WEBI
2009
Springer
15 years 10 months 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...
138
Voted
EAGC
2004
Springer
15 years 9 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...