4609 search results - page 190 / 922 » Automatic Generation of Sigma-Protocols |
165
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
204
click to vote
NPAR
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents a new method for the automatic painterly rendering. This method synthesizes an impressive image with a handcrafted look from a source image such as a photograp...
167
click to vote
WSCG
2004
15 years 7 months ago
2004
We present a fully automatic scheme for the registration of MR images. The registration is carried out as a combination of an affine and an elastic transformation. The affine part...
160
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a method for incorporating natural language processing into existing text categorization procedures. Three aspects are considered in the investigation: (i) a m...
185
click to vote
CIKM
1999
Springer
15 years 10 months ago
1999
Springer
A considerable amount of clean semistructured data is internally available to companies in the form of business reports. However, business reports are untapped for data mining, da...