Sciweavers

2302 search results - page 309 / 461
» Basic Description Logics
Sort
View
ISMVL
2007
IEEE
92views Hardware» more  ISMVL 2007»
15 years 11 months ago
Experimental Studies on SAT-Based ATPG for Gate Delay Faults
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
Stephan Eggersglüß, Daniel Tille, G&oum...
ISVLSI
2007
IEEE
151views VLSI» more  ISVLSI 2007»
15 years 11 months ago
Design of a MCML Gate Library Applying Multiobjective Optimization
In this paper, the problem of sizing MOS Current Mode Logic (MCML) circuits is addressed. The Pareto front is introduced as a useful analysis tool to explore the design space of e...
Roberto Pereira-Arroyo, Pablo Alvarado-Moya, Wolfg...
RR
2007
Springer
15 years 11 months ago
Decidability Under the Well-Founded Semantics
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
Natalia Cherchago, Pascal Hitzler, Steffen Hö...
136
Voted
WEBI
2007
Springer
15 years 11 months ago
Knowledge Retrieval (KR)
With the ever-increasing growth of data and information, finding the right knowledge becomes a real challenge and an urgent task. Traditional data and information retrieval syste...
Yiyu Yao, Yi Zeng, Ning Zhong, Xiangji Huang
GLVLSI
2005
IEEE
158views VLSI» more  GLVLSI 2005»
15 years 10 months ago
Quantum-dot cellular automata SPICE macro model
This paper describes a SPICE model development methodology for Quantum-Dot Cellular Automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simula...
Rui Tang, Fengming Zhang, Yong-Bin Kim