Sciweavers

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

8

MAUDE
2007
Springer

favoriteEmaildiscussreport

211views Artificial Intelligence» more MAUDE 2007»

System Modules

13 years 10 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)