Sciweavers

Share
36 search results - page 1 / 8
» Measuring and Synthesizing Systems in Probabilistic Environm...
Sort
View
CAV
2010
Springer
190views Hardware» more  CAV 2010»
9 years 6 months ago
Measuring and Synthesizing Systems in Probabilistic Environments
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
ACSAC
2003
IEEE
9 years 8 months ago
Synthesizing Test Data for Fraud Detection Systems
This paper reports an experiment aimed at generating synthetic test data for fraud detection in an IP based videoon-demand service. The data generation veriļ¬es a methodology pre...
Emilie Lundin Barse, Håkan Kvarnström, ...
OOPSLA
2015
Springer
3 years 10 months ago
Synthesizing Java expressions from free-form queries
We present a new code assistance tool for integrated development environments. Our system accepts as input free-form queries containing a mixture of English and Java, and produces...
Tihomir Gvero, Viktor Kuncak
CDC
2010
IEEE
107views Control Systems» more  CDC 2010»
8 years 9 months ago
Probabilistic mutual localization in multi-agent systems from anonymous position measures
Abstract-- Recent research on multi-agent systems has produced a plethora of decentralized controllers that implicitly assume various degrees of agent localization. However, many p...
Antonio Franchi, Giuseppe Oriolo, Paolo Stegagno
EDBT
2008
ACM
137views Database» more  EDBT 2008»
10 years 2 months ago
Synthesizing structured text from logical database subsets
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...
Alkis Simitsis, Georgia Koutrika, Yannis Alexandra...
books