Sciweavers

1964 search results - page 165 / 393
» informs 2011
Sort
View
CVPR
2011
IEEE
15 years 1 months ago
Ordinal Hyperplanes Ranker with Cost Sensitivities for Age Estimation
In this paper, we propose an ordinal hyperplane ranking algorithm called OHRank, which estimates human ages via facial images. The design of the algorithm is based on the relative...
Kuang-Yu Chang, Chu-Song Chen, Yi-Ping Hung
AOSD
2011
ACM
15 years 1 months ago
Reducing combinatorics in testing product lines
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurs...
AUGHUMAN
2011
15 years 1 months ago
Weight illusion by tangential deformation of forearm skin
When we perform exercise or undergo rehabilitation, it is helpful to be supported by another person. To get this support, we normally take hold of a person’s arm, and pull it. I...
Yuki Kuniyasu, Shogo Fukushima, Masahiro Furukawa,...
CORR
2011
Springer
216views Education» more  CORR 2011»
15 years 1 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
CORR
2011
Springer
165views Education» more  CORR 2011»
15 years 1 months ago
Causal Dependence Tree Approximations of Joint Distributions for Multiple Random Processes
—We investigate approximating joint distributions of random processes with causal dependence tree distributions. Such distributions are particularly useful in providing parsimoni...
Christopher J. Quinn, Todd P. Coleman, Negar Kiyav...