Sciweavers

917 search results - page 61 / 184
» The Generalized Trace-Norm and its Application to Structure-...
Sort
View
ICFEM
2010
Springer
15 years 4 months ago
Automating Cut-off for Multi-parameterized Systems
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
Youssef Hanna, David Samuelson, Samik Basu, Hrides...
CIKM
2006
Springer
15 years 10 months ago
Resource-aware kernel density estimators over streaming data
A fundamental building block of many data mining and analysis approaches is density estimation as it provides a comprehensive statistical model of a data distribution. For that re...
Christoph Heinz, Bernhard Seeger
FLAIRS
1998
15 years 7 months ago
A Hierarchical Shape Representation for Vision-Guided Robotics
Using an adequate representation is often the key to solve complex problems in Artificial Intelligence. Hierarchical shape representations are very convenient in domains -such as ...
Begoña Martínez-Salvador, Angel P. D...
TNN
2010
216views Management» more  TNN 2010»
15 years 1 months ago
Simplifying mixture models through function approximation
Finite mixture model is a powerful tool in many statistical learning problems. In this paper, we propose a general, structure-preserving approach to reduce its model complexity, w...
Kai Zhang, James T. Kwok
ICFP
2009
ACM
15 years 11 months ago
Experience report: embedded, parallel computer-vision with a functional DSL
This paper presents our experience using a domain-specific functional language, WaveScript, to build embedded sensing applications used in scientific research. We focus on a rec...
Ryan Newton, Teresa Ko