Sciweavers

1064 search results - page 47 / 213
» Neuro-Wavelet Parametric Modeling
Sort
View
TACAS
2001
Springer
111views Algorithms» more  TACAS 2001»
15 years 2 months ago
Linear Parametric Model Checking of Timed Automata
Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...
TIME
2005
IEEE
15 years 3 months ago
An XML-Based Framework for Temporal Database Implementation
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
Seo-Young Noh, Shashi K. Gadia
TACS
1991
Springer
15 years 1 months ago
An Extension of System F with Subtyping
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
Luca Cardelli, Simone Martini, John C. Mitchell, A...