Search Sciweavers | Sciweavers

8021 search results - page 63 / 1605

» A Type System for Tom

click to vote

JISE
2008

38views more JISE 2008»

Dynamic Nonlinear System Identification Using a Wiener-Type Recurrent Network with OKID Algorithm

13 years 7 months ago

Download www.iis.sinica.edu.tw

Jeen-Shing Wang, Yu-Liang Hsu

claim paper

Read More »

click to vote

MSCS
2006

87views more MSCS 2006»

Addressed term rewriting systems: application to a typed object calculus

13 years 7 months ago

Download web.cs.wpi.edu

Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...

claim paper

Read More »

click to vote

SOCO
2008
Springer

106views Software Engineering» more SOCO 2008»

A parallel evolutionary algorithm to optimize dynamic data types in embedded systems

13 years 7 months ago

Download infoscience.epfl.ch

José L. Risco-Martín, David Atienza,...

claim paper

Read More »

click to vote

TCS
2008

88views Theoretical Computer Science» more TCS 2008»

A type assignment system for game semantics

13 years 7 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell, Marina Lenis...

claim paper

Read More »

click to vote

CAS
2005

54views more CAS 2005»

Inference In Gompertz-Type Nonhomogeneous Stochastic Systems By Means Of Discrete Sampling

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers