Sciweavers

848 search results - page 69 / 170
» A New Framework For Itemset Generation
Sort
View
RSP
2005
IEEE
107views Control Systems» more  RSP 2005»
14 years 2 months ago
Rapid Prototyping of Embedded Software Using Selective Formalism
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...
John D. Carter, Ming Xu, William B. Gardner
ACMDIS
2004
ACM
14 years 2 months ago
Understanding experience in interactive systems
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...
Jodi Forlizzi, Katja Battarbee
KES
2004
Springer
14 years 2 months ago
Intelligent Web Site: Understanding the Visitor Behavior
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 ...
Juan D. Velásquez, Pablo A. Estévez,...
COSIT
2001
Springer
129views GIS» more  COSIT 2001»
14 years 1 months ago
What's in an Image?
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...
Gilberto Câmara, Max J. Egenhofer, Frederico...
SIGIR
1999
ACM
14 years 1 months ago
A Hidden Markov Model Information Retrieval System
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...
David R. H. Miller, Tim Leek, Richard M. Schwartz