In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...
Situated cognition is not a mere philosophical concern: it has pragmatic implications for current practice in knowledge acquisition. Tools must move from being design-focused to b...
Object category recognition in various appearances is one of the most challenging task in the object recognition research fields. The major approach to solve the task is using the...
Binary Partition Trees (BPTs) are a well known technique used for region-based image representation and analysis. BPTs are usually created as a result of a merging process based o...