Sciweavers

3096 search results - page 188 / 620
» The Generalized FITC Approximation
Sort
View
TKDE
2012
270views Formal Methods» more  TKDE 2012»
13 years 7 months ago
Low-Rank Kernel Matrix Factorization for Large-Scale Evolutionary Clustering
—Traditional clustering techniques are inapplicable to problems where the relationships between data points evolve over time. Not only is it important for the clustering algorith...
Lijun Wang, Manjeet Rege, Ming Dong, Yongsheng Din...
145
Voted
TPDS
2008
136views more  TPDS 2008»
15 years 4 months ago
Data Gathering with Tunable Compression in Sensor Networks
We study the problem of constructing a data gathering tree over a wireless sensor network in order to minimize the total energy for compressing and transporting information from a ...
Yang Yu, Bhaskar Krishnamachari, Viktor K. Prasann...
CORR
2000
Springer
96views Education» more  CORR 2000»
15 years 4 months ago
A Bayesian Reflection on Surfaces
: The topic of this paper is a novel Bayesian continuous-basis field representation and inference framework. Within this paper several problems are solved: The maximally informativ...
David R. Wolf
CAV
2012
Springer
231views Hardware» more  CAV 2012»
13 years 7 months ago
Incremental, Inductive CTL Model Checking
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...
Zyad Hassan, Aaron R. Bradley, Fabio Somenzi
ICIP
2008
IEEE
15 years 11 months ago
New optimized spline functions for interpolation on the hexagonal lattice
We propose new discrete-to-continuous interpolation models for hexagonally sampled data, that generalize two families of splines developed in the literature for the hexagonal latt...
Laurent Condat, Dimitri Van De Ville