Sciweavers

3591 search results - page 130 / 719
» Typing linear constraints
Sort
View
APGV
2010
ACM
247views Visualization» more  APGV 2010»
15 years 1 months ago
Perception of linear and nonlinear motion properties using a FACS validated 3D facial model
In this paper we present the first Facial Action Coding System (FACS) valid model to be based on dynamic 3D scans of human faces for use in graphics and psychological research. T...
Darren Cosker, Eva Krumhuber, Adrian Hilton
WOLLIC
2007
Springer
15 years 4 months ago
Computational Interpretations of Classical Linear Logic
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
Paulo Oliva
NIPS
2007
14 years 11 months ago
Online Linear Regression and Its Application to Model-Based Reinforcement Learning
We provide a provably efficient algorithm for learning Markov Decision Processes (MDPs) with continuous state and action spaces in the online setting. Specifically, we take a mo...
Alexander L. Strehl, Michael L. Littman
ALGORITHMICA
1998
118views more  ALGORITHMICA 1998»
14 years 9 months ago
On the Analysis of Linear Probing Hashing
Abstract. This paper presents moment analyses and characterizations of limit distributions for the construction cost of hash tables under the linear probing strategy. Two models ar...
Philippe Flajolet, Patricio V. Poblete, Alfredo Vi...
JMLR
2010
136views more  JMLR 2010»
14 years 4 months ago
High Dimensional Inverse Covariance Matrix Estimation via Linear Programming
This paper considers the problem of estimating a high dimensional inverse covariance matrix that can be well approximated by "sparse" matrices. Taking advantage of the c...
Ming Yuan