Sciweavers

33 search results - page 1 / 7
» Measuring and Synthesizing Systems in Probabilistic Environm...
Sort
View
CAV
2010
Springer
190views Hardware» more  CAV 2010»
14 years 2 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
14 years 4 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 verifies a methodology pre...
Emilie Lundin Barse, Håkan Kvarnström, ...
CDC
2010
IEEE
107views Control Systems» more  CDC 2010»
13 years 5 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»
14 years 11 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...
ICOM
2011
13 years 2 months ago
A Context-Aware Proactive Controller for Smart Environments
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...
Frank Krüger, Gernot Ruscher, Sebastian Bader...