2598 search results - page 215 / 520 » The Abstract Immune System Algorithm |
166
click to vote
PCM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Achievement of museum guide systems, in physical and virtual worlds, providing the personalization and context awareness features requires the prior analysis and identiï¬...
180
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract— In this paper the coverage control for mobile sensor networks is studied. The novelty is to consider an anisotropic sensor model where the performance of the sensor dep...
197
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract— A geometric optimization based approach to deploy a mobile sensor network for the purpose of detecting and capturing mobile targets in the plane is presented in [1]. Th...
139
click to vote
ATVA
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. Symbolic model checking provides partially effective veriï¬cation procedures that can handle systems with an inï¬nite state space. So-called “acceleration techniquesâ...
154
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Recent developments in reiï¬cation of ER schemata include automatic generation of webbased database administration systems [1,2]. These systems enforce the schema cardin...