Sciweavers

592 search results - page 60 / 119
» Real Space Process Algebra
Sort
View
ISSAC
2007
Springer
153views Mathematics» more  ISSAC 2007»
14 years 2 months ago
On exact and approximate interpolation of sparse rational functions
The black box algorithm for separating the numerator from the denominator of a multivariate rational function can be combined with sparse multivariate polynomial interpolation alg...
Erich Kaltofen, Zhengfeng Yang
ICPR
2008
IEEE
14 years 9 months ago
Collaborative learning by boosting in distributed environments
In this paper we propose a new distributed learning method called distributed network boosting (DNB) algorithm for distributed applications. The learned hypotheses are exchanged b...
Shijun Wang, Changshui Zhang
WAPCV
2007
Springer
14 years 2 months ago
Reinforcement Learning for Decision Making in Sequential Visual Attention
The innovation of this work is the provision of a system that learns visual encodings of attention patterns and that enables sequential attention for object detection in real world...
Lucas Paletta, Gerald Fritz
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
13 years 12 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
CVPR
2008
IEEE
14 years 2 months ago
A theoretical analysis of linear and multi-linear models of image appearance
Linear and multi-linear models of object shape/appearance (PCA, 3DMM, AAM/ASM, multilinear tensors) have been very popular in computer vision. In this paper, we analyze the validi...
Yilei Xu, Amit K. Roy Chowdhury