Sciweavers

4507 search results - page 491 / 902
» Generalized Binet dynamics
Sort
View
SODA
2004
ACM
104views Algorithms» more  SODA 2004»
15 years 8 months ago
Variable length path coupling
We present a new technique for constructing and analyzing couplings to bound the convergence rate of finite Markov chains. Our main theorem is a generalization of the path couplin...
Thomas P. Hayes, Eric Vigoda
WSC
2001
15 years 8 months ago
Hybrid agent-based simulation for analyzing the national airspace system
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
Seungman Lee, Amy R. Pritchett, David Goldsman
AAAI
2000
15 years 8 months ago
An Algorithm for Multi-Unit Combinatorial Auctions
We present a novel algorithm for computing the optimal winning bids in a combinatorial auction (CA), that is, an auction in which bidders bid for bundles of goods. All previously ...
Kevin Leyton-Brown, Yoav Shoham, Moshe Tennenholtz
ESANN
2000
15 years 8 months ago
Nonsynaptically connected neural nets
Neural nets are generally considered to be connected synaptically. However, the majority of information transfer in the brain may not be by synapses. Nonsynaptic diffusion neurotra...
Gaetano Liborio Aiello, Paul Bach-y-Rita
FMOODS
2000
15 years 8 months ago
On a Temporal Logic for Object-Based Systems
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink