Sciweavers

6343 search results - page 62 / 1269
» Robust consensus computation
Sort
View
ACRI
2006
Springer
15 years 6 months ago
Scale-Free Automata Networks Are Not Robust in a Collective Computational Task
Christian Darabos, Mario Giacobini, Marco Tomassin...
119
Voted
FMCAD
2004
Springer
15 years 6 months ago
Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
Mohammad Awedh, Fabio Somenzi
COMPGEOM
1989
ACM
15 years 4 months ago
Epsilon Geometry: Building Robust Algorithms from Imprecise Computations
David Salesin, Jorge Stolfi, Leonidas J. Guibas
93
Voted
IJCAI
2007
15 years 2 months ago
Robust Human-Computer Interaction System Guiding a User by Providing Feedback
We introduce a human-computer interaction system which collaborates with a user by providing feedback during user activities. The goal of the system is to help a user complete a h...
Michael S. Ryoo, Jake K. Aggarwal