Sciweavers

1578 search results - page 167 / 316
» Induction of Stable Models
Sort
View
TIT
2010
97views Education» more  TIT 2010»
15 years 1 months ago
Periodic orbits and equilibria in glass models for gene regulatory networks
Abstract--Glass models are frequently used to model gene regulatory networks. A distinct feature of the Glass model is that its dynamics can be formalized as paths through multi-di...
Igor Zinovik, Yury Chebiryak, Daniel Kroening
ICCV
2011
IEEE
14 years 6 months ago
Building a better probabilistic model of images by factorization
We describe a directed bilinear model that learns higherorder groupings among features of natural images. The model represents images in terms of two sets of latent variables: one...
Jack Culpepper, Jascha Sohl-Dickstein, Bruno Olaha...
CVPR
2008
IEEE
16 years 8 months ago
Discriminative modeling by Boosting on Multilevel Aggregates
This paper presents a new approach to discriminative modeling for classi cation and labeling. Our method, called Boosting on Multilevel Aggregates (BMA), adds a new class of hiera...
Jason J. Corso
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
16 years 26 days ago
Control software model checking using bisimulation functions for nonlinear systems
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
James Kapinski, Alexandre Donzé, Flavio Ler...
ICRA
2007
IEEE
159views Robotics» more  ICRA 2007»
16 years 21 days ago
Online trajectory generation in an amphibious snake robot using a lamprey-like central pattern generator model
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...
Auke Jan Ijspeert, Alessandro Crespi