1389 search results - page 178 / 278 » Definability as hypercomputational effect |
140
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
Wireless sensor networks (WSNs) are known to be highly energy-constrained and each network’s lifetime has a strong dependence on the nodes’ battery capacity. As such, the netw...
152
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
146
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
While distributed, heterogeneous collections of computers (“Grids”) can in principle be used as a computing platform, in practice the problems of first discovering and then co...
146
click to vote
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
Context-based adaptive entropy coding is an essential feature of modern image compression algorithms; however, the design of these coders is non-trivial due to the balance that mu...
194
click to vote
ICTAI
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the issue of effective and efficient content based image retrieval by presenting a novel indexing and retrieval methodology that integrates color, texture, an...