Sciweavers

473 search results - page 13 / 95
» Computing excluded minors
Sort
View
DICTA
2009
13 years 5 months ago
Refining Local 3D Feature Matching through Geometric Consistency for Robust Biometric Recognition
Local features are gaining popularity due to their robustness to occlusion and other variations such as minor deformation. However, using local features for recognition of biometri...
Syed M. S. Islam, Rowan Davies
PODS
2004
ACM
139views Database» more  PODS 2004»
14 years 7 months ago
On Preservation under Homomorphisms and Unions of Conjunctive Queries
Unions of conjunctive queries, also known as select-project-join-union queries, are the most frequently asked queries in relational database systems. These queries are definable b...
Albert Atserias, Anuj Dawar, Phokion G. Kolaitis
CHI
2006
ACM
14 years 7 months ago
Participatory design in emergency medical service: designing for future practice
We describe our research--its approach, results and products--on Danish emergency medical service (EMS) field or "pre-hospital" work in minor and major incidents. We dis...
Margit Kristensen, Morten Kyng, Leysia Palen
DM
2002
82views more  DM 2002»
13 years 7 months ago
Hilbert functions of ladder determinantal varieties
We outline the computation of an explicit formula for the Hilbert function of the ladder determinantal varieties defined by the vanishing of all minors of a fixed size of a rectang...
Sudhir R. Ghorpade
CAV
2009
Springer
218views Hardware» more  CAV 2009»
14 years 8 months ago
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers
Abstract. We propose a novel, sound, and complete Simplex-based algorithm for solving linear inequalities over integers. Our algorithm, which can be viewed as a semantic generaliza...
Isil Dillig, Thomas Dillig, Alex Aiken