2905 search results - page 456 / 581 » Formal Memetic Algorithms |
SIGECOM
2005
ACM
15 years 3 months ago
2005
ACM
When distributing digital content over a broadcast channel it’s often necessary to revoke users whose access privileges have expired, thus preventing them from recovering the co...
SIGIR
2005
ACM
15 years 3 months ago
2005
ACM
This paper develops a general, formal framework for modeling term dependencies via Markov random fields. The model allows for arbitrary text features to be incorporated as eviden...
WWW
2005
ACM
15 years 3 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
APN
2005
Springer
15 years 3 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
ASIAN
2005
Springer
15 years 3 months ago
2005
Springer
One of the main challenges in building enterprise applications has been to balance between built-in functionality and domain/scenario-specific customization. The lack of formal way...