104
Voted
CORR
2007
Springer
15 years 20 days ago
2007
Springer
—In this paper we discuss the use of cooperative game theory for analyzing interference channels. We extend our previous work, to games with N players as well as frequency select...
99
Voted
CORR
2007
Springer
15 years 20 days ago
2007
Springer
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...
CORR
2007
Springer
15 years 20 days ago
2007
Springer
38
Voted
CORR
2007
Springer
15 years 20 days ago
2007
Springer
36
Voted
CORR
2007
Springer
15 years 20 days ago
2007
Springer
43
Voted
CORR
2007
Springer
15 years 20 days ago
2007
Springer
107
Voted
CORR
2007
Springer
15 years 20 days ago
2007
Springer
: The research area “Virtual Manufacturing” can be defined as an integrated manufacturing environment which can enhance one or several levels of decision and control in manufac...
CORR
2007
Springer
15 years 20 days ago
2007
Springer
—The capacity region of the finite-state multiple-access channel (FS-MAC) with feedback that may be an arbitrary timeinvariant function of the channel output samples is consider...
120
Voted
CORR
2007
Springer
15 years 20 days ago
2007
Springer
This paper derives a near optimal distributed Kalman filter to estimate a large-scale random field monitored by a network of N sensors. The field is described by a sparsely con...
CORR
2007
Springer
15 years 20 days ago
2007
Springer
