4609 search results - page 277 / 922 » Automatic Generation of Sigma-Protocols |
220
click to vote
EUROSSC
2009
Springer
16 years 1 months ago
2009
Springer
A major challenge in using multi-modal, distributed sensor systems for activity recognition is to maintain a temporal synchronization between individually recorded data streams. A ...
175
click to vote
MIR
2010
ACM
16 years 1 months ago
2010
ACM
We present ACQUINE - Aesthetic Quality Inference Engine, a publicly accessible system which allows users to upload their photographs and have them rated automatically for aestheti...
213
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper investigates the impact of automatic sentence segmentation on speech summarization using the ICSI meeting corpus. We use a hidden Markov model (HMM) for sentence segmen...
150
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
172
click to vote
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...