2231 search results - page 287 / 447 » Alternation as a programming paradigm |
175
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
A Markov Decision Process (MDP) is a general model for solving planning problems under uncertainty. It has been extended to multiobjective MDP to address multicriteria or multiagen...
191
click to vote
IPL
2008
15 years 6 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
191
click to vote
MVA
2007
15 years 6 months ago
2007
The application of a technique for labelling connected components based on the classical recursive technique is studied. The recursive approach permits labelling, counting, and cha...
189
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Millions of DNA sequences (reads) are generated by Next Generation Sequencing machines everyday. There is a need for high performance algorithms to map these sequences to the refer...
183
click to vote
TIT
2011
15 years 1 months ago
2011
—Maximization of the weighted sum-rate of secondary users (SUs) possibly equipped with multiantenna transmitters and receivers is considered in the context of cognitive radio (CR...