7623 search results - page 937 / 1525 » Constructive Volume Modeling |
233
click to vote
FORTE
2009
15 years 5 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
203
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
One of the characteristics of the Human Visual System (HVS) is to model the sensitivity of the human eye at each coordinate location in the image. This paper explores the use of fu...
201
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Modeling ranked data is an essential component in a number of important applications including recommendation systems and websearch. In many cases, judges omit preference among un...
169
click to vote
JISE
2011
15 years 2 months ago
2011
In this paper, HNM (harmonic plus noise model) is enhanced and used to design a scheme for synthesizing Mandarin singing voice. Enhancements made include synthesizing signals with...
262
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...