642 search results - page 26 / 129 » A Framework for Pattern-Based Global Models |
WEBI
2009
Springer
15 years 6 months ago
2009
Springer
Due to the increasing demands for network security, distributed intrusion detection has become a hot research topic in computer science. However, the design and maintenance of the...
105
Voted
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper addresses the problem of coverage control of a network of mobile sensors. In the current literature, this is commonly formulated as a locational optimization problem...
PAMI
2011
14 years 6 months ago
2011
—In this paper, we introduce a novel method to solve shape alignment problems. We use gray-scale “images” to represent source shapes, and propose a novel two-component Gaussi...
CAV
2010
Springer
15 years 2 days ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
104
Voted
BMCBI
2010
15 years 10 hour ago
2010
Background: Candida albicans is a commonly encountered fungal pathogen in humans. The formation of biofilm is a major virulence factor in C. albicans pathogenesis and is related t...