28 search results - page 6 / 6 » Making chroma features more robust to timbre changes |
ICMCS
2005
IEEE
13 years 11 months ago
2005
IEEE
The ability of a computer to detect and appropriately respond to changes in a user’s affective state has significant implications to Human-Computer Interaction (HCI). To more ac...
CAV
2010
Springer
13 years 9 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
SCN
2010
Springer
13 years 3 months ago
2010
Springer
In this work, we consider Authentication and Key Agreement (AKA), a popular client-server Key Exchange (KE) protocol, commonly used in wireless standards (e.g., UMTS), and widely c...