Sciweavers

4745 search results - page 249 / 949
» Discretization: An Enabling Technique
Sort
View
IBPRIA
2005
Springer
16 years 3 days ago
Matching Deformable Regions Using Local Histograms of Differential Invariants
This paper presents a technique to enable deformable regions to be matched using image databases based on the information provided by the differential invariants of local histogram...
Nicolas Pérez de la Blanca, José M. ...
SAT
2005
Springer
138views Hardware» more  SAT 2005»
16 years 2 days ago
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization
The utilization of cutting planes is a key technique in Integer Linear Programming (ILP). However, cutting planes have seldom been applied in Pseudo-Boolean Optimization (PBO) algo...
Vasco M. Manquinho, João P. Marques Silva
AMFG
2003
IEEE
121views Biometrics» more  AMFG 2003»
15 years 12 months ago
Human Body Tracking with Auxiliary Measurements
This paper presents two techniques for improving human body tracking within the particle filtering scheme. Both techniques explore the use of auxiliary measurements. The first tec...
Mun Wai Lee, Isaac Cohen
EUROPAR
2003
Springer
15 years 11 months ago
Compiler-Assisted Thread Level Control Speculation
Abstract. This paper proposes two compiler-assisted techniques to improve thread level control speculation in speculative multithreading executions. The first technique is to incr...
Hideyuki Miura, Luong Dinh Hung, Chitaka Iwama, Da...
FASE
2009
Springer
15 years 11 months ago
Algorithms for Automatically Computing the Causal Paths of Failures
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...
William N. Sumner, Xiangyu Zhang