Sciweavers

2226 search results - page 171 / 446
» Computable Analysis via Representations
Sort
View
AMAST
2008
Springer
15 years 8 months ago
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
David Cachera, Thomas P. Jensen, Arnaud Jobin, Pas...
197
Voted
CG
2000
Springer
15 years 6 months ago
Light propagation visualization as a tool for 3D scene analysis in lighting design
This paper is devoted to a designer tool, which is an extension of particle tracing algorithm for analysis of scenes, artifacts, image ghosts, and ray tracing mechanism itself. Th...
Edward A. Kopylov, Kirill Dmitriev
RECOMB
2007
Springer
16 years 7 months ago
An Efficient Method for Dynamic Analysis of Gene Regulatory Networks and in silico Gene Perturbation Experiments
With the increasing availability of experimental data on gene-gene and protein-protein interactions, modeling of gene regulatory networks has gained a special attention lately. To ...
Abhishek Garg, Ioannis Xenarios, Luis Mendoza, Gio...
ICPR
2006
IEEE
16 years 8 months ago
Multilinear Principal Component Analysis of Tensor Objects for Recognition
In this paper, a multilinear formulation of the popular Principal Component Analysis (PCA) is proposed, named as multilinear PCA (MPCA), where the input can be not only vectors, b...
Anastasios N. Venetsanopoulos, Haiping Lu, Konstan...
CVPR
2010
IEEE
16 years 2 months ago
Exploiting Simple Hierarchies for Unsupervised Human Behavior Analysis
We propose a data-driven, hierarchical approach for the analysis of human actions in visual scenes. In particular, we focus on the task of in-house assisted living. In such scenar...
Fabian Nater, Helmut Grabner, Luc Van Gool