2059 search results - page 256 / 412 » An adaptive system developer's tool-kit |
311
click to vote
TASE
2012
IEEE
14 years 2 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
179
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider multi-rate peer-to-peer multi-party conferencing applications, where different receivers in the same group can receive videos at different rates using, for example, sc...
184
click to vote
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
Radiation is often used in prostate cancer treatments. Radiotherapy treatment planning is a complex decision making process. In order to make a patient well, the oncologist has to...
245
click to vote
SCP
2011
15 years 1 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
192
click to vote
TIT
2011
15 years 1 months ago
2011
— The focus of this paper is on spatial precoding in correlated multi-antenna channels where the number of datastreams is adapted independent of the number of transmit antennas. ...