Sciweavers

1288 search results - page 208 / 258
» Visual Generalization in Programming by Example
Sort
View
104
Voted
TASE
2008
IEEE
15 years 2 months ago
On Clamping Planning in Workpiece-Fixture Systems
Deformation at contacts between the workpiece and locators/clamps resulting from large contact forces causes overall workpiece displacement, and affects the localization accuracy o...
Caihua Xiong, Michael Yu Wang, You-Lun Xiong
BMCBI
2005
158views more  BMCBI 2005»
15 years 2 months ago
Automated generation of heuristics for biological sequence comparison
Background: Exhaustive methods of sequence alignment are accurate but slow, whereas heuristic approaches run quickly, but their complexity makes them more difficult to implement. ...
Guy St. C. Slater, Ewan Birney
142
Voted
ICLP
2010
Springer
15 years 7 days ago
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
Pedro López-García, Luthfi Darmawan,...
105
Voted
ICIP
2006
IEEE
16 years 3 months ago
Submotions for Hidden Markov Model Based Dynamic Facial Action Recognition
Video based analysis of a persons' mood or behavior is in general performed by interpreting various features observed on the body. Facial actions, such as speaking, yawning o...
Dejan Arsic, Joachim Schenk, Björn Schuller, ...
ICIP
2005
IEEE
16 years 3 months ago
The impulse responses of block shift-invariant systems and their use for demosaicing algorithms
Shift-invariant linear algorithms can be described completely by the algorithm's response to an impulse input. The so called impulse response can be used as filter kernels wh...
Yacov Hel-Or