Sciweavers

1578 search results - page 167 / 316
» Induction of Stable Models
Sort
View
TIT
2010
97views Education» more  TIT 2010»
13 years 5 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
12 years 10 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
15 years 12 days 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»
14 years 4 months 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»
14 years 4 months 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