Sciweavers

3281 search results - page 328 / 657
» An Approach to use Executable Models for Testing
Sort
View
NIPS
2007
15 years 5 months ago
Near-Maximum Entropy Models for Binary Neural Representations of Natural Images
Maximum entropy analysis of binary variables provides an elegant way for studying the role of pairwise correlations in neural populations. Unfortunately, these approaches suffer f...
Matthias Bethge, Philipp Berens
PATMOS
2007
Springer
15 years 10 months ago
Optimization for Real-Time Systems with Non-convex Power Versus Speed Models
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
Ani Nahapetian, Foad Dabiri, Miodrag Potkonjak, Ma...
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 8 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
PKDD
2000
Springer
108views Data Mining» more  PKDD 2000»
15 years 8 months ago
Application of Reinforcement Learning to Electrical Power System Closed-Loop Emergency Control
This paper investigates the use of reinforcement learning in electric power system emergency control. The approach consists of using numerical simulations together with on-policy M...
Christophe Druet, Damien Ernst, Louis Wehenkel
BMCBI
2010
132views more  BMCBI 2010»
15 years 4 months ago
New statistical potential for quality assessment of protein models and a survey of energy functions
Background: Scoring functions, such as molecular mechanic forcefields and statistical potentials are fundamentally important tools in protein structure modeling and quality assess...
Dmitry Rykunov, András Fiser