A concept of regional technological cooperation is developed based on a cooperative game theoretic model, in which a plan of payoff distributions induces an agreement that is accep...
In this paper, we propose a new type of image feature, which consists of patterns of colors and intensities that capture the latent associations among images and primitive feature...
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
Continuations are a well established programming concept that allows capturing and resuming the current program state. They can be found in several functional programming languages...
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...