9067 search results - page 742 / 1814 » Adaptive Model Checking |
203
click to vote
CEC
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract- Evolutionary Algorithms (EAs) have the tendency to converge quickly into a single solution in the search space. However, many complex search problems require the identi...
200
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we present multimedia adaptation strategies for live video streams, at the streaming server, where we switch among several versions of the coded multimedia to match ...
236
click to vote
ICRA
2005
IEEE
16 years 1 months ago
2005
IEEE
- It has been shown that in human-robot interaction, the effectiveness of a robot varies inversely with the operator engagement in the task. Given the importance of maintaining opt...
213
click to vote
QSHINE
2005
IEEE
16 years 1 months ago
2005
IEEE
Service availability in wireless networks is highly dependent on efficient resource allocation and guaranteed Quality of Service (QoS) amid overloads and failures. This paper add...
159
click to vote
STORAGESS
2005
ACM
16 years 1 months ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...