Sciweavers

1691 search results - page 163 / 339
» Restricted subset selection
Sort
View
127
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
Synthesis of live behaviour models
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
Nicolás D'Ippolito, Víctor A. Braber...
110
Voted
TIT
2010
100views Education» more  TIT 2010»
14 years 10 months ago
Theoretical and empirical results for recovery from multiple measurements
The joint-sparse recovery problem aims to recover, from sets of compressed measurements, unknown sparse matrices with nonzero entries restricted to a subset of rows. This is an ex...
Ewout van den Berg, Michael P. Friedlander
143
Voted
CORR
2012
Springer
184views Education» more  CORR 2012»
13 years 11 months ago
Noisy-OR Models with Latent Confounding
Given a set of experiments in which varying subsets of observed variables are subject to intervention, we consider the problem of identifiability of causal models exhibiting late...
Antti Hyttinen, Frederick Eberhardt, Patrik O. Hoy...
139
Voted
DEXA
2009
Springer
153views Database» more  DEXA 2009»
15 years 7 months ago
Three Approximation Algorithms for Energy-Efficient Query Dissemination in Sensor Database System
Abstract. Sensor database is a type of database management system which offers sensor data and stored data in its data model and query languages. In this system, when a user poses ...
Zhao Zhang, Xiaofeng Gao, Xuefei Zhang, Weili Wu, ...
118
Voted
IMC
2003
ACM
15 years 9 months ago
On inferring and characterizing internet routing policies
Border Gateway Protocol allows Autonomous Systems (ASs) to apply diverse routing policies for selecting routes and for propagating reachability information to other ASs. Although ...
Feng Wang, Lixin Gao