Sciweavers

5624 search results - page 366 / 1125
» On Conditional Covering Problem
Sort
View
171
Voted
ICASSP
2009
IEEE
16 years 1 months ago
Consistent recovery of stimuli encoded with a neural ensemble
We consider the problem of reconstructing finite energy stimuli from a finite number of contiguous spikes. The reconstructed signal satisfies a consistency condition: when pass...
Aurel A. Lazar, Eftychios A. Pnevmatikakis
CDC
2008
IEEE
142views Control Systems» more  CDC 2008»
16 years 1 months ago
Asynchronous distributed optimization with minimal communication
— We consider problems where multiple agents must cooperate to control their individual state so as to optimize a common objective while communicating with each other to exchange...
Minyi Zhong, Christos G. Cassandras
CDC
2008
IEEE
289views Control Systems» more  CDC 2008»
16 years 1 months ago
Robust H-infinity control for uncertain time-delay TCP/AQM network system
—A robust active queue management (AQM) scheme based on H-infinty theory is presented for the problem of congestion control in TCP communication networks. In TCP/IP networks, the...
Yuanwei Jing, Hongwei Wang, Georgi M. Dimirovski, ...
SAC
2006
ACM
16 years 23 days ago
Quiescent consensus in mobile ad-hoc networks using eventually storage-free broadcasts
We solve the consensus problem using a new class of broadcasts that are very appropriate to ad-hoc networking: every broadcast message is eventually ensured to be garbagecollected...
François Bonnet, Paul D. Ezhilchelvan, Eina...
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
16 years 4 days ago
Type Inference Against Races
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
Cormac Flanagan, Stephen N. Freund