Sciweavers

1055 search results - page 22 / 211
» order 2002
Sort
View
AUTOMATICA
2002
69views more  AUTOMATICA 2002»
15 years 24 days ago
Null controllable region of LTI discrete-time systems with input saturation
We present a formula for the extremes of the null controllable region of a general LTI discrete-time system with bounded inputs. For an nth order system with only real poles (not ...
Tingshu Hu, Daniel E. Miller, Li Qiu
CORR
2002
Springer
98views Education» more  CORR 2002»
15 years 22 days ago
A Framework for Compiling Preferences in Logic Programs
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...
James P. Delgrande, Torsten Schaub, Hans Tompits
JSYML
2002
60views more  JSYML 2002»
15 years 18 days ago
Compact Complex Manifolds with The Dop and Other Properties
We point out that a certain complex compact manifold constructed by Lieberman has the dimensional order property, and has U-rank different from Morley rank. We also give a suffici...
Anand Pillay, Thomas Scanlon
COOPIS
2002
IEEE
15 years 5 months ago
A Defeasible Ontology Language
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
Stijn Heymans, Dirk Vermeir
SAC
2002
ACM
15 years 17 days ago
Short inversions and conserved gene clusters
Two independent sets of recent observations on newly sequenced microbial genomes pertain to the prevalence of short inversion as a gene order rearrangement process and to the lack...
David Sankoff