Sciweavers

171 search results - page 19 / 35
» From State- to Delta-Based Bidirectional Model Transformatio...
Sort
View
ICASSP
2011
IEEE
12 years 11 months ago
Approximated kernel density estimation for multiple TDOA detection
The Generalized State Coherence Transform (GSCT) has been recently proposed as an efficient tool for the estimation of multidimensional TDOA of multiple sources. The transform de...
Francesco Nesta, Maurizio Omologo
POPL
1999
ACM
14 years 7 days ago
Software Watermarking: Models and Dynamic Embeddings
Watermarking embeds a secret message into a cover message. In media watermarking the secret is usually a copyright notice and the cover a digital image. Watermarking an object dis...
Christian S. Collberg, Clark D. Thomborson
JCP
2007
102views more  JCP 2007»
13 years 7 months ago
Deterministic Models of an Active Magnetic Bearing System
— In this paper the development of mathematical model of voltage-input and current-input active magnetic bearing (AMB) system in deterministic form is presented. The AMB system, ...
Abdul Rashid Husain, Mohamad Noh Ahmad, Abdul Hali...
ICFP
2006
ACM
14 years 7 months ago
Modelling deterministic concurrent I/O
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
Malcolm Dowse, Andrew Butterfield
AAAI
2004
13 years 9 months ago
SCoT: A Spoken Conversational Tutor
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
Karl Schultz, Brady Clark, Heather Pon-Barry, Eliz...