1792 search results - page 82 / 359 » e-Participation and Decision Analysis |
164
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
133
click to vote
BMVC
2001
15 years 8 months ago
2001
We describe the development of a vision system to detect natural events in a low-resolution image stream. The work involves the assessment of algorithmic design decisions to maxim...
179
click to vote
EDBTW
2010
Springer
15 years 5 months ago
2010
Springer
Spatial data warehouses (SDW) rely on extended multidimensional (MD) models in order to provide decision makers with appropriate structures to intuitively analyse spatial data. Se...
179
click to vote
SADM
2010
15 years 4 months ago
2010
: This paper proposes twin prototype support vector machine (TVM), a constant space and sublinear time support vector machine (SVM) algorithm for online learning. TVM achieves its ...
172
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper we present a multi-scale morphological method for use in texture classification. A connected operator similar to the morphological hat-transform is defined, and two ...