3190 search results - page 201 / 638 » cans 2011 |
305
click to vote
AMW
2011
14 years 9 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
321
click to vote
AMW
2011
14 years 9 months ago
2011
Since navigational aspects of XPath correspond to first-order definability, it has been proposed to use the analogy with the very successful technique of translating LTL into aut...
293
click to vote
BIOID
2011
14 years 9 months ago
2011
Extracting discriminatory features from images is a crucial task for biometric recognition. For this reason, we have developed a new method for the extraction of features from imag...
182
click to vote
CAGD
2011
14 years 9 months ago
2011
This work concerns the approximation of the shape operator of smooth surfaces in R3 from polyhedral surfaces. We introduce two generalized shape operators that are vector-valued l...
174
click to vote
CCE
2011
14 years 9 months ago
2011
During the last 15 years, many mathematical models have been developed in order to solve process operation scheduling problems, using discrete or continuous time representations. ...