Sciweavers

5681 search results - page 823 / 1137
» A Domain Model for eParticipation
Sort
View
SP
2009
IEEE
114views Security Privacy» more  SP 2009»
16 years 1 months ago
Formally Certifying the Security of Digital Signature Schemes
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
Santiago Zanella Béguelin, Gilles Barthe, B...
ICDM
2009
IEEE
163views Data Mining» more  ICDM 2009»
16 years 1 months ago
Kernel Conditional Quantile Estimation via Reduction Revisited
Quantile regression refers to the process of estimating the quantiles of a conditional distribution and has many important applications within econometrics and data mining, among ...
Novi Quadrianto, Kristian Kersting, Mark D. Reid, ...
ICRA
2009
IEEE
167views Robotics» more  ICRA 2009»
16 years 1 months ago
Articulated object tracking by rendering consistent appearance parts
— We describe a general methodology for tracking 3-dimensional objects in monocular and stereo video that makes use of GPU-accelerated filtering and rendering in combination wit...
Zachary A. Pezzementi, Sandrine Voros, Gregory D. ...
AIIA
2009
Springer
16 years 1 months ago
Relational Temporal Data Mining for Wireless Sensor Networks
Wireless sensor networks (WSNs) represent a typical domain where there are complex temporal sequences of events. In this paper we propose a relational framework to model and analys...
Teresa Maria Altomare Basile, Nicola Di Mauro, Ste...
AIED
2009
Springer
16 years 1 months ago
Identifying strategies in user's exploratory learning behaviour for mathematical generalisation
Abstract. The nature of the activities that take place in Exploratory Learning Environments allow generating a variety of learner trajectories and makes difficult to develop a mod...
Mihaela Cocea, George D. Magoulas