5205 search results - page 973 / 1041 » Tilings and model theory |
246
click to vote
HRI
2011
ACM
14 years 9 months ago
2011
ACM
To seamlessly integrate into the human physical and social environment, robots must display appropriate proxemic behavior—that is, follow societal norms in establishing their ph...
227
click to vote
ICALP
2011
Springer
14 years 9 months ago
2011
Springer
We give new algorithms for a variety of randomly-generated instances of computational problems using a linearization technique that reduces to solving a system of linear equations...
220
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
223
click to vote
SIGECOM
2011
ACM
14 years 9 months ago
2011
ACM
In many settings, a group of agents must come to a joint decision on multiple issues. In practice, this is often done by voting on the issues in sequence. In this paper, we model ...
193
click to vote
SIGMETRICS
2011
ACM
14 years 9 months ago
2011
ACM
Data Center Networks have recently caused much excitement in the industry and in the research community. They represent the convergence of networking, storage, computing and virtu...