2647 search results - page 40 / 530 » Solving Term Inequalities |
114
Voted
AUTOMATICA
2005
15 years 3 months ago
2005
This note studies the asymptotic stabilization problem for controllable and observable, single-input single-output, linear, time-invariant, continuous-time systems by means of mem...
138
Voted
JMLR
2010
14 years 10 months ago
2010
This paper considers the problem of estimating a high dimensional inverse covariance matrix that can be well approximated by "sparse" matrices. Taking advantage of the c...
121
Voted
ICAIL
2009
ACM
15 years 10 months ago
2009
ACM
Current argumentation support software often employs graphical representations of logical relationships. Little is known about the extent to which logical structuring helps to inc...
132
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
The purpose of this research is to examine whether outcome controls of group work (i.e. time pressure and reward) trigger psychological factors (i.e. distraction, motivation, and ...
128
Voted
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...