663 search results - page 33 / 133 » Algorithms for Computing Minimal Unsatisfiable Subsets of Co... |
ECSQARU
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
This paper investigates wireless sensor networks where a small percentage of nodes are assumed to know their location a priori. These reference nodes enable absolute localization ...
SIGMOD
2009
ACM
14 years 8 months ago
2009
ACM
The skyline operator returns from a set of multi-dimensional objects a subset of superior objects that are not dominated by others. This operation is considered very important in ...
TSP
2010
13 years 2 months ago
2010
The adaptive estimation of a time-varying parameter vector in a linear Gaussian model is considered where we a priori know that the parameter vector belongs to a known arbitrary s...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
Compressed sensing, an emerging multidisciplinary field involving mathematics, probability, optimization, and signal processing, focuses on reconstructing an unknown signal from a...