4744 search results - page 554 / 949 » Connected Computing |
195
Voted
IGPL
1998
15 years 7 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
206
Voted
SIGMOD
1998
ACM
15 years 7 months ago
1998
ACM
Abstract: Decision support systems (DSS) and data warehousing workloads comprise an increasing fraction of the database market today. I/O capacity and associated processing require...
199
click to vote
TCS
2010
15 years 5 months ago
2010
Abstract. We study a general class of non-cooperative games coming from combinatorial covering and facility location problems. A game for k players is based on an integer programmi...
206
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
This paper describes the design, implementation and deployment of a wireless sensor system for athletes. The system is designed to profile sprints based on input from on-body senso...
245
Voted
NETWORKS
2011
15 years 2 months ago
2011
In this article we study capacitated network design problems. We unify and extend polyhedral results for directed, bidirected and undirected link capacity models. Based on valid i...