Sciweavers

8132 search results - page 165 / 1627
» Dependability, Abstraction, and Programming
Sort
View
TLDI
2010
ACM
198views Formal Methods» more  TLDI 2010»
15 years 6 months ago
Verifying event-driven programs using ramified frame properties
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldr...
RECOMB
2006
Springer
16 years 6 months ago
Detecting the Dependent Evolution of Biosequences
Abstract. A probabilistic graphical model is developed in order to detect the dependent evolution between different sites in biological sequences. Given a multiple sequence alignme...
Jeremy Darot, Chen-Hsiang Yeang, David Haussler
DATE
2008
IEEE
90views Hardware» more  DATE 2008»
16 years 1 months ago
Computation of Buffer Capacities for Throughput Constrained and Data Dependent Inter-Task Communication
Abstract - Streaming applications are often implemented as task graphs. Currently, techniques exist to derive buffer capacities that guarantee satisfaction of a throughput constrai...
Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit
AUSAI
2007
Springer
16 years 21 days ago
DBSC: A Dependency-Based Subspace Clustering Algorithm for High Dimensional Numerical Datasets
Abstract. We present a novel algorithm called DBSC, which finds subspace clusters in numerical datasets based on the concept of ”dependency”. This algorithm employs a depth-...
Xufei Wang, Chunping Li
ECML
2007
Springer
16 years 21 days ago
Weighted Kernel Regression for Predicting Changing Dependencies
Abstract. Consider the online regression problem where the dependence of the outcome yt on the signal xt changes with time. Standard regression techniques, like Ridge Regression, d...
Steven Busuttil, Yuri Kalnishkan