17449 search results - page 268 / 3490 » Availability |
200
click to vote
MOBISYS
2010
ACM
15 years 9 months ago
2010
ACM
Urban street-parking availability statistics are challenging to obtain in real-time but would greatly benefit society by reducing traffic congestion. In this paper we present the ...
151
click to vote
USENIX
2008
15 years 9 months ago
2008
New single-machine environments are emerging from abundant computation available through multiple cores and secure virtualization. In this paper, we describe the research challeng...
210
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
155
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we describe a study that explored the implications of the Social Translucence framework for designing systems that support communications at work. Two systems design...
177
click to vote
DEXAW
2008
IEEE
15 years 8 months ago
2008
IEEE
Topological relations between geographic regions are of interest in many applications. When the exact boundaries of regions are not available, such relations can be established by...