4340 search results - page 641 / 868 » Formal Methods and Cryptography |
323
click to vote
CGF
2011
15 years 1 months ago
2011
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...
160
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- This paper concerns the power minimization problem in server farms. The power minimization problem over dynamic power allocation schemes is formally defined and formulat...
212
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
The semantic annotation of documents is an additional advantage for retrieval, as long as the annotations and their maintenance process scale well. Automatic or semi-automatic ann...
165
click to vote
JMLR
2011
15 years 1 months ago
2011
This paper reviews a class of methods to perform causal inference in the framework of a structural vector autoregressive model. We consider three different settings. In the first ...
198
click to vote
JMLR
2010
15 years 1 months ago
2010
We develop a Bayesian framework for supervised dimension reduction using a flexible nonparametric Bayesian mixture modeling approach. Our method retrieves the dimension reduction ...