Sciweavers

10718 search results - page 216 / 2144
» On the Circuit Implementation Problem
Sort
View
DLOG
2003
15 years 5 months ago
Implementing Matching in ALE--First Results
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
Sebastian Brandt
LPNMR
2005
Springer
15 years 10 months ago
Testing Strong Equivalence of Datalog Programs - Implementation and Examples
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...
Thomas Eiter, Wolfgang Faber, Patrick Traxler
ER
2006
Springer
104views Database» more  ER 2006»
15 years 8 months ago
Evolving the Implementation of ISA Relationships in EER Schemas
Abstract. One of the most severe problems related to database evolution is how to reflect in the data level the changes that have occurred in the conceptual schema of a database. T...
Eladio Domínguez, Jorge Lloret, Angel Luis ...
INFOCOM
2006
IEEE
15 years 10 months ago
Flow Control Over Wireless Network and Application Layer Implementation
— Flow control, including congestion control for data transmission, and rate control for multimedia streaming, is an important issue in information transmission in both wireline ...
Minghua Chen, Avideh Zakhor
ASPDAC
1999
ACM
132views Hardware» more  ASPDAC 1999»
15 years 8 months ago
Faster and Better Spectral Algorithms for Multi-Way Partitioning
In this paper, two faster and better spectral algorithms are presented for the multi-way circuit partitioning problem with the objective of minimizing the Scaled Cost. As pointed ...
Jan-Yang Chang, Yu-Chen Liu, Ting-Chi Wang