Sciweavers

5624 search results - page 366 / 1125
» On Conditional Covering Problem
Sort
View
ICASSP
2009
IEEE
16 years 2 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
211
Voted
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, ...
174
Voted
SAC
2006
ACM
16 years 1 months 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 24 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