Sciweavers

2223 search results - page 282 / 445
» Ontological Framework for Approximation
Sort
View
POPL
2003
ACM
16 years 5 months ago
A generic approach to the static analysis of concurrent programs with procedures
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
Ahmed Bouajjani, Javier Esparza, Tayssir Touili
VLDB
2006
ACM
190views Database» more  VLDB 2006»
16 years 5 months ago
Online summarization of dynamic time series data
Managing large-scale time series databases has attracted significant attention in the database community recently. Related fundamental problems such as dimensionality reduction, tr...
Ümit Y. Ogras, Hakan Ferhatosmanoglu
KDD
2009
ACM
298views Data Mining» more  KDD 2009»
15 years 11 months ago
Mind the gaps: weighting the unknown in large-scale one-class collaborative filtering
One-Class Collaborative Filtering (OCCF) is a task that naturally emerges in recommender system settings. Typical characteristics include: Only positive examples can be observed, ...
Rong Pan, Martin Scholz
ICASSP
2009
IEEE
15 years 11 months ago
Compressive sensing for sparsely excited speech signals
Compressive sensing (CS) has been proposed for signals with sparsity in a linear transform domain. We explore a signal dependent unknown linear transform, namely the impulse respo...
Thippur V. Sreenivas, W. Bastiaan Kleijn
COCOA
2009
Springer
15 years 11 months ago
Matching Techniques Ride to Rescue OLED Displays
Combinatorial optimization problems have recently emerged in the design of controllers for OLED displays. The objective is to decompose an image into subframes minimizing the addre...
Andreas Karrenbauer