Sciweavers

3233 search results - page 154 / 647
» Rule Modeling and Markup
Sort
View
ICANN
2003
Springer
15 years 9 months ago
Optimal Hebbian Learning: A Probabilistic Point of View
Many activity dependent learning rules have been proposed in order to model long-term potentiation (LTP). Our aim is to derive a spike time dependent learning rule from a probabili...
Jean-Pascal Pfister, David Barber, Wulfram Gerstne...
ISCAS
2002
IEEE
96views Hardware» more  ISCAS 2002»
15 years 9 months ago
Analysis of interleaved converters with WTA-based switching
This paper presents interleaved buck converters using a switching rule based on winner-take-all nonlinearity. The switching rule can realize flexible phase control and the system...
Toshimichi Saito, M. Yoshizawa, Hiroyuki Torikai, ...
CL
2000
Springer
15 years 8 months ago
A Logic Programming Application for the Analysis of Spanish Verse
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...
Pablo Gervás
132
Voted
CL
2000
Springer
15 years 7 months ago
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
Tommi A. Junttila, Ilkka Niemelä
FLAIRS
2006
15 years 5 months ago
Incremental Propagation of Time Windows on Disjunctive Resources
Constraint-based techniques are frequently used in solving real-life scheduling problems thanks to natural modeling capabilities and strong constraint propagation techniques encod...
Roman Barták