Abstract. Synthetic aperture radar SAR images are notoriously di cult to interpret. Segmentation is simpli ed if a digital map is available, to which the image can be registered....
A method is described for identification and classification of proteins encoded in large DNA sequences. Previously, an automated system was introduced for the general detection of...
Dotplot is a technique for visualizing patterns of string matches in millions of lines of text and code. Patterns may be explored interactively or detected automatically. Applicat...
In market-driven product development large numbers of requirements threaten to overload the development organization. It is critical for product management to select the requireme...
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules ...