Sciweavers

1442 search results - page 125 / 289
» Finding interesting things
Sort
View
SAT
2010
Springer
141views Hardware» more  SAT 2010»
15 years 9 months ago
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...
Carsten Fuhs, Peter Schneider-Kamp
HUMO
2007
Springer
15 years 9 months ago
Efficient Upper Body Pose Estimation from a Single Image or a Sequence
We propose a method to find candidate 2D articulated model configurations by searching for locally optimal configurations under a weak but computationally manageable fitness functi...
Matheen Siddiqui, Gérard G. Medioni
AMR
2006
Springer
101views Multimedia» more  AMR 2006»
15 years 9 months ago
Can Humans Benefit from Music Information Retrieval?
In the area of Music Information Retrieval (MIR), great technical progress has been made since this discipline started to mature in the late 1990s. Yet, despite the almost universa...
Frans Wiering
FOCS
2004
IEEE
15 years 8 months ago
Assignment Testers: Towards a Combinatorial Proof of the PCP-Theorem
In this work we look back into the proof of the PCP Theorem, with the goal of finding new proofs that are "more combinatorial" and arguably simpler. For that we introduc...
Irit Dinur, Omer Reingold
CSCLP
2006
Springer
15 years 8 months ago
Cost-Based Filtering for Stochastic Inventory Control
Abstract. An interesting class of production/inventory control problems considers a single product and a single stocking location, given a stochastic demand with a known non-statio...
Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven...