Sciweavers

1022 search results - page 117 / 205
» Stable models and circumscription
Sort
View
AML
2000
101views more  AML 2000»
13 years 10 months ago
Local order property in nonelementary classes
We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes ...
Rami P. Grossberg, Olivier Lessmann
CSDA
2007
136views more  CSDA 2007»
13 years 10 months ago
A note on iterative marginal optimization: a simple algorithm for maximum rank correlation estimation
The maximum rank correlation (MRC) estimator was originally studied by Han [1987. Nonparametric analysis of a generalized regression model. J. Econometrics 35, 303–316] and Sher...
Hansheng Wang
PE
2010
Springer
133views Optimization» more  PE 2010»
13 years 8 months ago
Positive Harris recurrence and diffusion scale analysis of a push pull queueing network
We consider a push pull queueing system with two servers and two types of jobs which are processed by the two servers in opposite order, with stochastic generally distributed proc...
Yoni Nazarathy, Gideon Weiss
CDC
2010
IEEE
13 years 5 months ago
Tuning a synthetic in vitro oscillator using control-theoretic tools
Abstract-- This paper demonstrates the effectiveness of simple control-theoretic tools in generating simulation-guided experiments on a synthetic in vitro oscillator. A theoretical...
Christopher Sturk, Elisa Franco, Richard M. Murray
ALIFE
2011
13 years 1 months ago
Untethered Hovering Flapping Flight of a 3D-Printed Mechanical Insect
This project focuses on developing a flapping-wing hovering insect using 3D printed wings and mechanical parts. The use of 3D printing technology has greatly expanded the possibi...
Charles Richter, Hod Lipson