128 search results - page 16 / 26 » Strongly Absolute Stability Problem of Descriptor Systems |
158
Voted
PODS
2011
ACM
14 years 5 months ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
118
Voted
STOC
2007
ACM
16 years 2 months ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
125
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents an analysis of the correlation of annotated information unit (textual) tags and geographical identification metadata geotags. Despite the increased usage of ge...
131
Voted
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
127
Voted
DAC
2011
ACM
14 years 2 months ago
2011
ACM
We present ChronOS Linux, a best-effort real-time Linux kernel for chip multiprocessors (CMPs). ChronOS addresses the intersection of three problem spaces: a) OS-support for obta...