Sciweavers

31387 search results - page 405 / 6278
» Abstracts
Sort
View
ICMCS
2010
IEEE
156views Multimedia» more  ICMCS 2010»
15 years 8 months ago
Noise cancellation: Disrupting audio perception
ph is an abstracted flattened version of the view, just as the sound being emitted speakers is an abstracted and distorted version of that which is being recorded 1 K Goldsmith, `B...
Cara-Ann Simpson, Eva Cheng
APPML
2010
133views more  APPML 2010»
15 years 7 months ago
Fractional relaxation equations on Banach spaces
Abstract. We study existence and qualitative properties of solutions for the abstract fractional relaxation equation (0.1) u (t) - AD t u(t) + u(t) = f(t), 0 < < 1, t 0, u(...
Carlos Lizama, Humberto Prado
BSL
2008
98views more  BSL 2008»
15 years 7 months ago
A Natural Axiomatization of Computability and Proof of Church's Thesis
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
Nachum Dershowitz, Yuri Gurevich
CORR
2010
Springer
158views Education» more  CORR 2010»
15 years 7 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
DEDS
2008
94views more  DEDS 2008»
15 years 7 months ago
Approximate Simulation Relations for Hybrid Systems
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...
Antoine Girard, A. Agung Julius, George J. Pappas