5128 search results - page 61 / 1026 » When Abstraction Fails |
AMW
2010
14 years 11 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...
BILDMED
2008
14 years 11 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...
DAGSTUHL
2006
14 years 11 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...
WAE
2000
14 years 11 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...
INFOCOM
2010
IEEE
14 years 8 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...