Sciweavers

7921 search results - page 1233 / 1585
» LSH-preserving functions and their applications
Sort
View
AUSAI
2009
Springer
15 years 10 months ago
Classification of EEG for Affect Recognition: An Adaptive Approach
Research on affective computing is growing rapidly and new applications are being developed more frequently. They use information about the affective/mental states of users to adap...
Omar AlZoubi, Rafael A. Calvo, Ronald H. Stevens
AVSS
2009
IEEE
15 years 10 months ago
Regressed Importance Sampling on Manifolds for Efficient Object Tracking
In this paper, a new integrated particle filter is proposed for video object tracking. After particles are generated by importance sampling, each particle is regressed on the tran...
Fatih Porikli, Pan Pan
CF
2007
ACM
15 years 10 months ago
Identifying potential parallelism via loop-centric profiling
The transition to multithreaded, multi-core designs places a greater responsibility on programmers and software for improving performance; thread-level parallelism (TLP) will be i...
Tipp Moseley, Daniel A. Connors, Dirk Grunwald, Ra...
CANDT
2009
15 years 10 months ago
Analyzing (social media) networks with NodeXL
We present NodeXL, an extendible toolkit for network overview, discovery and exploration implemented as an add-in to the Microsoft Excel 2007 spreadsheet software. We demonstrate ...
Marc A. Smith, Ben Shneiderman, Natasa Milic-Frayl...
ITP
2010
159views Mathematics» more  ITP 2010»
15 years 10 months ago
Programming Language Techniques for Cryptographic Proofs
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
Gilles Barthe, Benjamin Grégoire, Santiago ...
« Prev « First page 1233 / 1585 Last » Next »