269 search results - page 2 / 54 » Maximal Static Expansion |
ITA
2008
13 years 5 months ago
2008
We prove that there exists a structure M whose monadic second order theory is decidable, and such that the elementary theory of every expansion of M by a constant is undecidable. 1...
INFOCOM
2003
IEEE
13 years 10 months ago
2003
IEEE
TCP-AQM protocols can be interpreted as distributed primal-dual algorithms over the Internet to maximize aggregate utility over source rates. In this paper we study whether TCP–...
ICMCS
2006
IEEE
13 years 11 months ago
2006
IEEE
EM algorithm is an important unsupervised clustering algorithm, but the algorithm has several limitations. In this paper, we propose a fast EM algorithm (FEMA) to address the limi...
CC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— In this paper, we propose a frequency domain adaptive estimation of Doppler shifts for multiple Doppler subpaths in direct sequence code division multiple access (DS-CD...