Search Sciweavers | Sciweavers

8512 search results - page 103 / 1703

» Computing Theory With Relevance

click to vote

CONCUR
2012
Springer

227views Distributed And Parallel Com...» more CONCUR 2012»

A Theory of History Dependent Abstractions for Learning Interface Automata

11 years 10 months ago

Download www.fidesaarts.nl

Fides Aarts, Faranak Heidarian, Frits W. Vaandrage...

claim paper

Read More »

click to vote

ICANN
2001
Springer

197views Neural Networks» more ICANN 2001»

A Neural-Network-Based Approach to Adaptive Human Computer Interaction

14 years 21 days ago

Download www.csd.uoc.gr

A neural-network-based approach is proposed in this paper providing multimedia systems with the ability to adapt their performance to the specific needs and characteristics of thei...

George Votsis, Nikolaos D. Doulamis, Anastasios D....

claim paper

Read More »

click to vote

CIE
2006
Springer

71views Applied Computing» more CIE 2006»

From Constructibility and Absoluteness to Computability and Domain Independence

13 years 12 months ago

Download www.math.tau.ac.il

Arnon Avron

claim paper

Read More »

click to vote

CONCUR
2010
Springer

123views Distributed And Parallel Com...» more CONCUR 2010»

Theory by Process

13 years 9 months ago

Download basics.sjtu.edu.cn

Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...

Yuxi Fu

claim paper

Read More »

click to vote

LOGCOM
2006

98views more LOGCOM 2006»

Computability in Specification

13 years 8 months ago

Download cswww.essex.ac.uk

In reference (Foundation of specification. Journal of Logic and Computation, 15, 951

Raymond Turner

claim paper