Sciweavers

4324 search results - page 856 / 865
» A Generalized Representer Theorem
Sort
View
KBSE
2010
IEEE
13 years 5 months ago
Solving string constraints lazily
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
Pieter Hooimeijer, Westley Weimer
MA
2010
Springer
114views Communications» more  MA 2010»
13 years 5 months ago
Finite-sample inference with monotone incomplete multivariate normal data, II
We continue our recent work on finite-sample, i.e., non-asymptotic, inference with two-step, monotone incomplete data from Nd(µ, Σ), a multivariate normal population with mean ...
Wan-Ying Chang, Donald St. P. Richards
OOPSLA
2010
Springer
13 years 5 months ago
Managing ambiguity in programming by finding unambiguous examples
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
Kenneth C. Arnold, Henry Lieberman
PAMI
2010
210views more  PAMI 2010»
13 years 5 months ago
Multi-Object Analysis of Volume, Pose, and Shape Using Statistical Discrimination
Abstract— One goal of statistical shape analysis is the discrimination between two populations of objects. In this paper, we present results of discriminant analysis on multi-obj...
Kevin Gorczowski, Martin Styner, Ja-Yeon Jeong, J....
PAMI
2010
249views more  PAMI 2010»
13 years 5 months ago
A Dynamic Texture-Based Approach to Recognition of Facial Actions and Their Temporal Models
—In this work we propose a dynamic-texture-based approach to the recognition of facial Action Units (AUs, atomic facial gestures) and their temporal models (i.e., sequences of te...
Sander Koelstra, Maja Pantic, Ioannis Patras