Sciweavers

2452 search results - page 131 / 491
» On Reduction of Lagrange Systems
Sort
View
ASPDAC
2007
ACM
116views Hardware» more  ASPDAC 2007»
15 years 10 months ago
A Global Minimum Clock Distribution Network Augmentation Algorithm for Guaranteed Clock Skew Yield
Abstract-- Nanometer VLSI systems demand robust clock distribution network design for increased process and operating condition variabilities. In this paper, we propose minimum clo...
Bao Liu, Andrew B. Kahng, Xu Xu, Jiang Hu, Ganesh ...
DEDUCTIVE
1997
119views Database» more  DEDUCTIVE 1997»
15 years 7 months ago
Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
Hasan M. Jamil
JSYML
2007
85views more  JSYML 2007»
15 years 5 months ago
Substructural fuzzy logics
Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Un...
George Metcalfe, Franco Montagna
ENTCS
2008
120views more  ENTCS 2008»
15 years 6 months ago
Stochastic Bigraphs
In this paper we present a stochastic semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs are defined. As a sanity check, we p...
Jean Krivine, Robin Milner, Angelo Troina
ICPR
2008
IEEE
16 years 12 days ago
A network intrusion detection method using independent component analysis
An intrusion detection system (IDS) detects illegal manipulations of computer systems. In intrusion detection systems, feature reduction, including feature extraction and feature ...
Dayu Yang, Hairong Qi