9067 search results - page 1472 / 1814 » Adaptive Model Checking |
211
click to vote
GBRPR
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. An appropriate image representation induces some good image treatment algorithms. Hypergraph theory is a theory of finite combinatorial sets, modeling a lot of problems ...
168
click to vote
GECCO
2005
Springer
16 years 25 days ago
2005
Springer
Distributed Genetic Algorithms (DGAs) designed for the Internet have to take its high communication cost into consideration. For island model GAs, the migration topology has a maj...
186
click to vote
NOLISP
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Glottal inverse filtering is a technique used to derive the glottal waveform during voiced speech. Closed phase inverse filtering (CPIF) is a common approach for achiev...
198
click to vote
POLICY
2005
Springer
16 years 24 days ago
2005
Springer
This paper presents a framework for representing and distributing access control policies in distributed heterogeneous systems. Access control polices follows the RBAC (Role Based...
199
click to vote
CSCLP
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...