2356 search results - page 4 / 472 » Characterizations of postman sets |
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
Abstract— We prove that a controllable set of smooth trajectories is the solution set of a constant coefficient linear differential equation if and only if it is linear, time in...
IJCAI
2001
13 years 8 months ago
2001
We give a graph theoretical characterization of answer sets of normal logic programs. We show that there is a one-to-one correspondence between answer sets and a special, non-stan...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
Patients’ basic understanding of clinical events has been shown to dramatically improve patient care. We propose that the automatic generation of very short microexplanations, s...
INFOCOM
2012
IEEE
11 years 9 months ago
2012
IEEE
—Recent studies on cellular network measurement have provided the evidence that significant geospatial correlations, in terms of traffic volume and application access, exist in...
AUTOMATICA
2010
13 years 7 months ago
2010
In this paper, a suitable LaSalle principle for continuous-time linear switched systems is used to characterize invariant sets and their associated switching laws. An algorithm to...