1226 search results - page 160 / 246 » Generating Abstractions from Static Domain Analysis |
HCI
2009
13 years 5 months ago
2009
Abstract. We propose a brain-computer interface (BCI) system for evolving images in realtime based on subject feedback derived from electroencephalography (EEG). The goal of this s...
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
Abstract. Non-rigid registration of landmarked datasets is an important problem that finds many applications in medical image analysis. In this paper, we present a method for inter...
AIS
2004
Springer
13 years 12 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
ICDM
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we formulate the problem of summarization of a dataset of transactions with categorical attributes as an optimization problem involving two objective functions - co...