Sciweavers

3040 search results - page 446 / 608
» Independent Natural Extension
Sort
View
ACTA
2010
109views more  ACTA 2010»
15 years 6 months ago
On regular temporal logics with past
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
Christian Dax, Felix Klaedtke, Martin Lange
AI
2008
Springer
15 years 6 months ago
Label ranking by learning pairwise preferences
Preference learning is a challenging problem that involves the prediction of complex structures, such as weak or partial order relations, rather than single values. In the recent ...
Eyke Hüllermeier, Johannes Fürnkranz, We...
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
15 years 6 months ago
A mathematical framework for the control of piecewise-affine models of gene networks
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
Etienne Farcot, Jean-Luc Gouzé
BIOINFORMATICS
2007
83views more  BIOINFORMATICS 2007»
15 years 6 months ago
Exploring biological network structure using exponential random graph models
Motivation: The functioning of biological networks depends in large part on their complex underlying structure. When studying their systemic nature many modeling approaches focus ...
Zachary M. Saul, Vladimir Filkov
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 6 months ago
Asymptotically Stable Walking of a Five-Link Underactuated 3D Bipedal Robot
This paper presents three feedback controllers that achieve an asymptotically stable, periodic, and fast walking gait for a 3D bipedal robot consisting of a torso, revolute knees, ...
Christine Chevallereau, Jessy W. Grizzle, Ching-Lo...