881 search results - page 107 / 177 » Solving satisfiability problems with preferences |
FSTTCS
2010
Springer
13 years 5 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
Optical scanning holography is a form of digital holographic system, which allows us to capture a three-dimensional (3D) object in the two-dimensional (2D) hologram. A postprocess...
IJNSEC
2010
13 years 2 months ago
2010
In this paper we first propose two new concepts concerning the notion of key escrow schemes: provable partiality and independence. Roughly speaking, a scheme has provable partiali...
JDCTA
2010
13 years 2 months ago
2010
On clinical applications, many magnetic resonance (MR) Images obtained directly by the instruments are not satisfied by doctors. For example, there are some noises and poor contra...
PVLDB
2010
13 years 2 months ago
2010
Top-k queries are widely applied for retrieving a ranked set of the k most interesting objects based on the individual user preferences. As an example, in online marketplaces, cus...