Sciweavers

846 search results - page 37 / 170
» Fundamentals of Media Theory
Sort
View
TSP
2008
117views more  TSP 2008»
13 years 8 months ago
A Theory for Sampling Signals From a Union of Subspaces
One of the fundamental assumptions in traditional sampling theorems is that the signals to be sampled come from a single vector space (e.g. bandlimited functions). However, in many...
Yue M. Lu, Minh N. Do
FSEN
2009
Springer
14 years 3 months ago
A Process-Theoretic Look at Automata
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Lutti...
FOSSACS
2006
Springer
14 years 5 days ago
Guessing Attacks and the Computational Soundness of Static Equivalence
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
Martín Abadi, Mathieu Baudet, Bogdan Warins...
TEI
2010
ACM
150views Hardware» more  TEI 2010»
14 years 3 months ago
The representation and control of time in tangible user interfaces: (summary of PhD research)
This paper summarises the author’s PhD research on the representation and control of time in tangible user interfaces. The aim of the research is to create a theoretical framewo...
Peter Bennett
IJCAI
2003
13 years 10 months ago
Coherence of Laws
The core of scientific theories are laws. These laws often make use of theoretical terms, linguistic entities which do not directly refer to observables. There is therefore no dir...
Rex Bing Hung Kwok, Norman Y. Foo, Abhaya C. Nayak