Sciweavers

936 search results - page 166 / 188
» The Logical Difference Problem for Description Logic Termino...
Sort
View
HPCC
2007
Springer
14 years 1 months ago
On Pancyclicity Properties of OTIS Networks
The OTIS-Network (also referred to as two-level swapped network) is composed of n clones of an n-node original network constituting its clusters. It has received much attention due...
Mohammad R. Hoseinyfarahabady, Hamid Sarbazi-Azad
DATE
2006
IEEE
88views Hardware» more  DATE 2006»
14 years 1 months ago
Timing-reasoning-based delay fault diagnosis
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
Kai Yang, Kwang-Ting Cheng
ISM
2005
IEEE
127views Multimedia» more  ISM 2005»
14 years 1 months ago
Distributed User Interface Elements to support Smart Interaction Spaces
In this paper we show how an interactive system can be distributed among several peer devices. By taking advantage of the current trend towards ambient intelligent environments, w...
Kris Luyten, Karin Coninx
FSKD
2005
Springer
180views Fuzzy Logic» more  FSKD 2005»
14 years 1 months ago
An Effective Feature Selection Scheme via Genetic Algorithm Using Mutual Information
Abstract. In the artificial neural networks (ANNs), feature selection is a wellresearched problem, which can improve the network performance and speed up the training of the networ...
Chunkai K. Zhang, Hong Hu
ICLP
2005
Springer
14 years 1 months ago
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
Hans Tompits, Stefan Woltran