5128 search results - page 61 / 1026 » When Abstraction Fails |
112
Voted
AMW
2010
15 years 2 months ago
2010
Abstract. Consistent query answering (CQA) is about formally characterizing and computing semantically correct answers to queries posed to a database that may fail to satisfy certa...
88
Voted
BILDMED
2008
15 years 2 months ago
2008
Abstract. Scatterer detection in medical ultrasound imaging can be formulated as an inverse problem concerning a linear system model based on point scatterers. The applicability of...
111
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
Abstract. The Galois connection involving polymorphisms and coclones has received a lot of attention in regard to constraint satisfaction problems. However, it fails if we are inte...
106
click to vote
WAE
2000
15 years 2 months ago
2000
Abstract. In this paper we present a heuristic based on dynamic approximations for improving the well-known Schnorr-Euchner lattice basis reduction algorithm. In particular, the ne...
86
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—We consider multiuser scheduling in wireless networks with channel variations and flow-level dynamics. Recently, it has been shown that the MaxWeight algorithm, which i...