Search Sciweavers | Sciweavers

900 search results - page 2 / 180

» On the observational theory of the CPS-calculus

click to vote

INFORMATICALT
2010

134views more INFORMATICALT 2010»

Observability of Turing Machines: A Refinement of the Theory of Computation

13 years 6 months ago

Download www.mii.lt

The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several ...

Yaroslav D. Sergeyev, Alfredo Garro

claim paper

Read More »

click to vote

ENTCS
2007

96views more ENTCS 2007»

An Observational Theory for Mobile Ad Hoc Networks

13 years 9 months ago

Download profs.sci.univr.it

We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...

Massimo Merro

claim paper

Read More »

click to vote

CORR
2011
Springer

170views Education» more CORR 2011»

Exact observability, square functions and spectral theory

13 years 4 months ago

Download www.math.u-bordeaux.fr

Abstract. In the ﬁrst part of this article we introduce the notion of a backwardforward conditioning (BFC) system that generalises the notion of zero-class admissibiliy introduce...

Bernhard Hermann Haak, El-Maati Ouhabaz

claim paper

Read More »

click to vote

ECML
2005
Springer

84views Machine Learning» more ECML 2005»

On the LearnAbility of Abstraction Theories from Observations for Relational Learning

14 years 2 months ago

Download www.di.uniba.it

Stefano Ferilli, Teresa Maria Altomare Basile, Nic...

claim paper

Read More »