Sciweavers

7978 search results - page 1435 / 1596
» Representation before computation
Sort
View
ATAL
2010
Springer
15 years 5 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
AVI
2010
15 years 5 months ago
An architecture and a visual interface for tagging the 3D web
Content classification performed by end users is spreading through the web. Most of the work done so far is related to the hypermedia web. In spite of that, there is a growing mas...
Fabio Pittarello
DAWAK
2010
Springer
15 years 5 months ago
Using Transitivity to Increase the Accuracy of Sample-Based Pearson Correlation Coefficients
Abstract. Pearson product-moment correlation coefficients are a wellpracticed quantification of linear dependence seen across many fields. When calculating a sample-based correlati...
Taylor Phillips, Chris GauthierDickey, Ramki Thuri...
ICA
2010
Springer
15 years 5 months ago
Common SpatioTemporal Pattern Analysis
In this work we present a method for the estimation of a rank-one pattern living in two heterogeneous spaces, when observed through a mixture in multiple observation sets. Using a ...
Ronald Phlypo, Nisrine Jrad, Bertrand Rivet, Marco...
ICML
2010
IEEE
15 years 5 months ago
Proximal Methods for Sparse Hierarchical Dictionary Learning
We propose to combine two approaches for modeling data admitting sparse representations: on the one hand, dictionary learning has proven effective for various signal processing ta...
Rodolphe Jenatton, Julien Mairal, Guillaume Obozin...
« Prev « First page 1435 / 1596 Last » Next »