397 search results - page 78 / 80 » Causal Reasoning with Contexts Using Dependent Types |
154
Voted
ACSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Active Spaces are physical spaces augmented with heterogeneous computing and communication devices along with supporting software infrastructure. This integration facilitates coll...
129
click to vote
SIGMETRICS
2010
ACM
15 years 8 months ago
2010
ACM
—Parallelism has often been used to improve the reliability and efficiency of a variety of different engineering systems. In this paper, we quantify the efficiency of paralleli...
137
Voted
AUTOMATICA
2007
15 years 3 months ago
2007
In this paper, the problem of decentralized adaptive output-feedback stabilization is investigated for large-scale stochastic nonlinear systems with three types of uncertainties, ...
166
click to vote
PAM
2012
Springer
13 years 11 months ago
2012
Springer
Recent efforts in software-defined networks, such as OpenFlow, give unprecedented access into the forwarding plane of networking equipment. When building a network based on OpenFl...
100
Voted
HRI
2010
ACM
15 years 10 months ago
2010
ACM
— In recent work, “interaction patterns” have been proposed as a means to characterize essential features of humanrobot interaction. A problem arises, however, in knowing whe...