Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

MAUDE
2007
Springer

favoriteEmaildiscussreport

211views Artificial Intelligence» more MAUDE 2007»

System Modules

14 years 1 months ago

Download www.raga.si

Manuel Clavel, Francisco Durán, Steven Eker

Real-time Traffic

Artificial Intelligence | MAUDE 2007 |

claim paper

Related Content

» Manifest Types Modules and Separate Compilation

» A Module System for Scheme

» A Parameterised Module System for Constructing Typed Logic Programs

» Complex modulated critically sampled filter banks based on cosine and sine modulation

» Continuoustime frequency translating bandpass deltasigma modulator

» A modular module system

» Modularity for Timed and Hybrid Systems

» Multimodule Image Classification System

» ECESS Platform for Web Based TTS Modules and Systems Evaluation

» An Applicative Module Calculus

Post Info
More Details (n/a)

Added	08 Jun 2010
Updated	08 Jun 2010
Type	Conference
Year	2007
Where	MAUDE
Authors	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Comments (0)