Sciweavers

2777 search results - page 356 / 556
» Example centric programming
Sort
View
109
Voted
CMMR
2007
Springer
105views Music» more  CMMR 2007»
15 years 6 months ago
Real-Time Analysis of Sensory Dissonance
We describe a tool for real-time musical analysis based on a measure of roughness, the principal element of sensory dissonance. While most historical musical analysis is based on t...
John MacCallum, Aaron Einbond
105
Voted
CTRSA
2007
Springer
93views Cryptology» more  CTRSA 2007»
15 years 6 months ago
Human Identification Through Image Evaluation Using Secret Predicates
Abstract. The task of developing protocols for humans to securely authenticate themselves to a remote server has been an interesting topic in cryptography as a replacement for the ...
Hassan Jameel, Riaz Ahmed Shaikh, Heejo Lee, Sungy...
129
Voted
DLS
2007
159views Languages» more  DLS 2007»
15 years 6 months ago
Relationally-parametric polymorphic contracts
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
Arjun Guha, Jacob Matthews, Robert Bruce Findler, ...
157
Voted
COCOA
2009
Springer
15 years 6 months ago
Positive Influence Dominating Set in Online Social Networks
Online social network has developed significantly in recent years as a medium of communicating, sharing and disseminating information and spreading influence. Most of current resea...
Feng Wang 0002, Erika Camacho, Kuai Xu
UM
2010
Springer
15 years 6 months ago
Interaction and Personalization of Criteria in Recommender Systems
A user’s informational need and preferences can be modeled by criteria, which in turn can be used to prioritize candidate results and produce a ranked list. We examine the use of...
Shawn R. Wolfe, Yi Zhang