5869 search results - page 408 / 1174 » Multilingual Information Access |
164
click to vote
FMICS
2010
Springer
15 years 7 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
139
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
: This paper introduces the use of decimal sequences in a code division multiple access (CDMA) based watermarking system to hide information for authentication in black and white i...
200
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
We give an optimal dynamic programming algorithm to solve a class of finite-horizon decentralized Markov decision processes (MDPs). We consider problems with a broadcast informati...
193
click to vote
TCOM
2011
15 years 1 months ago
2011
—The number of active users in code-division multiple access (CDMA) systems is often much lower than the spreading gain. The present paper exploits fruitfully this a priori infor...
204
click to vote
SEMWEB
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. An explosion in the use of RDF for representing information about resources has driven the requirements for Webscale server systems that can store and process huge quanti...