Sciweavers

1055 search results - page 22 / 211
» order 2002
Sort
View
AUTOMATICA
2002
69views more  AUTOMATICA 2002»
14 years 10 months 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
81
Voted
CORR
2002
Springer
98views Education» more  CORR 2002»
14 years 10 months 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
70
Voted
JSYML
2002
60views more  JSYML 2002»
14 years 10 months 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
99
Voted
COOPIS
2002
IEEE
15 years 3 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
14 years 10 months 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