Search Sciweavers | Sciweavers

24554 search results - page 56 / 4911

» Dependable distributed systems

125

click to vote

IWANN
2009
Springer

142views Neural Networks» more IWANN 2009»

Stereo-MAS: Multi-Agent System for Image Stereo Processing

15 years 8 months ago

Download bisite.usal.es

This article presents a distributed agent-based architecture that can process the visual information obtained by stereoscopic cameras. The system is embedded within a global projec...

Sara Rodríguez, Juan Francisco de Paz, Javi...

claim paper

Read More »

101

click to vote

IPPS
2003
IEEE

107views Distributed And Parallel Com...» more IPPS 2003»

Dependability Analysis: A New Application for Run-Time Reconfiguration

15 years 9 months ago

Download home.mit.bme.hu

Régis Leveugle, Lörinc Antoni, B&eacut...

claim paper

Read More »

103

click to vote

ICS
1992
Tsinghua U.

92views Distributed And Parallel Com...» more ICS 1992»

A general algorithm for data dependence analysis

15 years 8 months ago

Download www.iis.nsk.su

Christine Eisenbeis, Jean-Claude Sogno

claim paper

Read More »

129

click to vote

CONCUR
2012
Springer

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

A Theory of History Dependent Abstractions for Learning Interface Automata

13 years 6 months ago

Download www.fidesaarts.nl

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

claim paper

Read More »

119

click to vote

JFP
2007

112views more JFP 2007»

Dependent ML An approach to practical programming with dependent types

15 years 4 months ago

Download www.ats-lang.org

We present an approach to enriching the type system of ML with a restricted form of de

Hongwei Xi

claim paper

Read More »

« Prev « First page 56 / 4911 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers