863 search results - page 49 / 173 » Computational Methods for Intelligent Information Access |
FMICS
2010
Springer
15 years 2 days 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...
100
click to vote
ICPADS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we utilize a bandwidth-centric job communication model that captures the interaction and impact of simultaneously co-allocating jobs across multiple clusters. We ma...
107
click to vote
MDM
2004
Springer
15 years 5 months ago
2004
Springer
Data broadcasting is well known for its excellent scalability. Multi-dimensional range queries, such as spatial range queries of geographical information for location dependent se...
DEXAW
2000
IEEE
15 years 4 months ago
2000
IEEE
In a mobile computing system, caching data items at the mobile clients is important to reduce the data access delay in a unreliable and low bandwidth mobile network. However, effi...
AGI
2008
15 years 1 months ago
2008
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...