Sciweavers

1578 search results - page 131 / 316
» Induction of Stable Models
Sort
View
ISCAS
2002
IEEE
88views Hardware» more  ISCAS 2002»
14 years 3 months ago
Energy dissipation modeling of lossy transmission lines driven by CMOS inverters
- In this paper, new formulations for the energy dissipation of lossy transmission lines driven by CMOS inverters are provided. These formulations are obtained using an approximate...
Payam Heydari
ECAI
2008
Springer
14 years 2 days ago
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
Matthias Knorr, José Júlio Alferes, ...
TNN
2010
121views Management» more  TNN 2010»
13 years 5 months ago
Foundations of implementing the competitive layer model by Lotka-Volterra recurrent neural networks
The competitive layer model (CLM) can be described by an optimization problem. The problem can be further formulated by an energy function, called the CLM energy function, in the s...
Zhang Yi
ICPR
2008
IEEE
14 years 4 months ago
Estimating the number of people in a video sequence via geometrical model
We propose a novel technique for estimating the number of people in a video sequence; it has the advantages of being stable even in crowded situations and needing no ground-truth ...
Hiroyuki Arai, Isao Miyagawa, Hideki Koike, Miki H...
DSN
2007
IEEE
14 years 4 months ago
How to Choose a Timing Model?
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
Idit Keidar, Alexander Shraer