Sciweavers

875 search results - page 35 / 175
» On Reachability Under Uncertainty
Sort
View
87
Voted
AAAI
2012
13 years 3 months ago
Agent-Human Coordination with Communication Costs Under Uncertainty
Asaf Frieder, Raz Lin, Sarit Kraus
81
Voted
CN
2006
98views more  CN 2006»
15 years 22 days ago
Internet resiliency to attacks and failures under BGP policy routing
We investigate the resiliency of the Internet at the Autonomous System (AS) level to failures and attacks, under the real constraint of business agreements between the ASs. The ag...
Danny Dolev, Sugih Jamin, Osnat Mokryn, Yuval Shav...
80
Voted
HYBRID
2001
Springer
15 years 5 months ago
On Hybrid Control of Under-Actuated Mechanical Systems
In this work we present a novel control design methodology for under-actuated mechanical systems. As part of the design process we use the reachability analysis tool d/dt [ABDM99,D...
Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao ...
179
Voted
ICDE
2009
IEEE
126views Database» more  ICDE 2009»
16 years 2 months ago
Aggregate Query Answering under Uncertain Schema Mappings
Recent interest in managing uncertainty in data
Avigdor Gal, Maria Vanina Martinez, Gerardo I. Sim...
95
Voted
PLDI
2010
ACM
15 years 10 months ago
The Reachability-Bound Problem
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
Sumit Gulwani, Florian Zuleger