8025 search results - page 7 / 1605 » Combinators Introduction: An Algorithm |
CSMR
2004
IEEE
15 years 1 months ago
2004
IEEE
Software systems need to evolve as business requirements, technology and environment change. As software is modified to accommodate the required changes, its structure deteriorate...
77
Voted
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we present a probabilistic framework for tracking objects based on local dynamic segmentation. We view the segn to be a Markov labeling process and abstract it as a ...
IDEAS
2007
IEEE
15 years 4 months ago
2007
IEEE
We present an extensible and customizable framework for the autonomous discovery of Semantic Web services based on their QoS properties. Using semantic technologies, users can spe...
73
Voted
ICANNGA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present an approach for automated generation of proactive aggregation protocols using Genetic Programming. First a short introduction into aggregation and proactive pr...
96
Voted
ESOP
2009
Springer
15 years 1 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...