1912 search results - page 148 / 383 » On the evaluation of argumentation formalisms |
158
click to vote
IFL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
155
click to vote
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
Detection of feature points in images is an important preprocessing stage for many algorithms in Computer Vision. We address the problem of detection of feature points in video se...
141
click to vote
CIARP
2005
Springer
16 years 17 hour ago
2005
Springer
We describe the application of 1-Dimensional Kohonen Networks in the classification of color 2D images which has been evaluated in Popocatépetl Volcano’s images. The Popocatépe...
160
click to vote
IUI
2003
ACM
15 years 11 months ago
2003
ACM
As household appliances grow in complexity and sophistication, they become harder and harder to use, particularly because of their tiny display screens and limited keyboards. This...
172
click to vote
MM
1999
ACM
15 years 10 months ago
1999
ACM
Integration—supporting multiple application classes with heterogeneous requirements—is an emerging trend in networks, file systems, and operating systems. In this paper, we e...