1816 search results - page 233 / 364 » Formal Concepts of Learning Systems Validation in Use |
202
click to vote
ACNS
2004
Springer
15 years 11 months ago
2004
Springer
We present a practical protection mechanism against SQL injection attacks. Such attacks target databases that are accessible through a web frontend, and take advantage of flaws in...
166
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
187
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Recently, Multiple Background Models (M-BMs) [1, 2] have been shown to be useful in speaker verification, where the M-BMs are formed based on different Vocal Tract Lengths (VTLs)...
164
click to vote
JUCS
2010
15 years 4 months ago
2010
: In Collaborative Learning, groups of students work together using traditional and computer-based tools or applications. Participants are continuously moving and reorganizing in g...
170
click to vote
JUCS
2006
15 years 6 months ago
2006
We outline the Berlin Brain-Computer Interface (BBCI), a system which enables us to translate brain signals from movements or movement intentions into control commands. The main co...