Sciweavers

1064 search results - page 47 / 213
» Neuro-Wavelet Parametric Modeling
Sort
View
TACAS
2001
Springer
111views Algorithms» more  TACAS 2001»
15 years 10 months ago
Linear Parametric Model Checking of Timed Automata
Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...
TIME
2005
IEEE
15 years 11 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 9 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...