1981 search results - page 239 / 397 » Model-Checking Hierarchical Structures |
ICTAI
2009
IEEE
14 years 3 months ago
2009
IEEE
A multiobjective genetic algorithm to uncover community structure in complex network is proposed. The algorithm optimizes two objective functions able to identify densely connecte...
ADBIS
2005
Springer
14 years 2 months ago
2005
Springer
Form documents or screen forms bring essential information on the data manipulated by an organization. They can be considered as different but often overlapping views of its whole...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
The structural details of a firm’s business processes are traditionally inaccessible to entities outside the firm. However, as firms move towards tighter coordination of process...
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
Audio search algorithms have reached a degree of speed and accuracy that allows them to search efficiently within large databases of audio. For speed, algorithms generally depend...
PAM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper studies the problems related to mobile connectivity on a wireless environment with Mobile IPv6, specially the handover, which is the most critical part. The ma...