Sciweavers

1022 search results - page 131 / 205
» Stable models and circumscription
Sort
View
ICMCS
2010
IEEE
152views Multimedia» more  ICMCS 2010»
13 years 11 months ago
Bipolar grouping
Most affinity-based grouping methods only model the inclusive relation among the data. When the data set contains a significant amount of noise data that should not be included in...
Jiang Xu, Junsong Yuan, Ying Wu
AMC
2007
110views more  AMC 2007»
13 years 10 months ago
Pest regulation by means of impulsive controls
In this paper, we consider an integrated pest management model which is impulsively controlled by means of biological and chemical controls. These controls are assumed to act in a...
Paul Georgescu, Gheorghe Morosanu
AUTOMATICA
2007
142views more  AUTOMATICA 2007»
13 years 10 months ago
Supervisory control using a new control-relevant switching
This paper presents a new supervisory control scheme, which is based on a control-relevant switching logic. Unlike most of the existing switching methods considering only estimato...
Tae-Woong Yoon, Jung-Su Kim, A. Stephen Morse
CORR
2010
Springer
202views Education» more  CORR 2010»
13 years 10 months ago
The Complexity of Reasoning for Fragments of Autoepistemic Logic
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...
Nadia Creignou, Arne Meier, Michael Thomas, Heribe...
CORR
2007
Springer
120views Education» more  CORR 2007»
13 years 10 months ago
Curve Tracking Control for Legged Locomotion in Horizontal Plane
— We derive a hybrid feedback control law for the lateral leg spring (LLS) model so that the center of mass of a legged runner follows a curved path in horizontal plane. The cont...
F. Zhang