Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
Understanding experience is a critical issue for a variety of professions, especially design. To understand experience and the user experience that results from interacting with p...
Abstract. Intelligent web site is a new portal generation, able to improve its structure and content based on the analysis of the user behavior. This paper focuses on modeling the ...
This paper discusses the ontological status of remote sensing images, from a GIScience perspective. We argue that images have a dual nature—they are fields at the measurement lev...
We present a new method for information retrievalusing hidden Markov models (HMMs). We develop a general framework for incorporating multiple word generation mechanisms within the...