951 search results - page 154 / 191 » Suggestions for OWL 3 |
111
click to vote
CADE
2004
Springer
16 years 4 days ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
100
click to vote
MOBISYS
2004
ACM
15 years 11 months ago
2004
ACM
We study the problem of tracking a moving device under two indoor location architectures: an active mobile architecture and a passive mobile architecture. In the former, the infra...
103
click to vote
DCC
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we present the B-coder, an efficient binary arithmetic coder that performs extremely well on a wide range of data. The B-coder should be classed as an `approximate&#...
115
click to vote
WSDM
2010
ACM
15 years 9 months ago
2010
ACM
Although Web search engines are targeted towards helping people find new information, people regularly use them to re-find Web pages they have seen before. Researchers have noted ...
SOSP
2005
ACM
15 years 8 months ago
2005
ACM
Commodity file systems trust disks to either work or fail completely, yet modern disks exhibit more complex failure modes. We suggest a new fail-partial failure model for disks, ...