Sciweavers

7213 search results - page 110 / 1443
» Automated model grouping
Sort
View
133
Voted
LICS
2009
IEEE
15 years 10 months ago
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...
115
Voted
ECCV
2008
Springer
16 years 5 months ago
Automated Delineation of Dendritic Networks in Noisy Image Stacks
We present a novel approach to 3D delineation of dendritic networks in noisy image stacks. We achieve a level of automation beyond that of stateof-the-art systems, which model dend...
Germán González, François Fle...
111
Voted
SIGECOM
2003
ACM
141views ECommerce» more  SIGECOM 2003»
15 years 8 months ago
Automated mechanism design for a self-interested designer
Often, an outcome must be chosen on the basis of the preferences reported by a group of agents. The key difficulty is that the agents may report their preferences insincerely to m...
Vincent Conitzer, Tuomas Sandholm
126
Voted
ACMDIS
2010
ACM
15 years 3 months ago
Incorporating user control in automated interactive scheduling systems
In this paper, we report our findings on the impact of providing users with varying degrees of control in an automated interactive scheduling system. While automated scheduling te...
Jina Huh, Martha E. Pollack, Hadi Katebi, Karem A....
117
Voted
SEFM
2009
IEEE
15 years 10 months ago
An Automated Approach to Verifying Diagnosability in Multi-agent Systems
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
Jonathan Ezekiel, Alessio Lomuscio