Sciweavers

2902 search results - page 311 / 581
» Simple Local Models for Complex Dynamical Systems
Sort
View
139
Voted
FASE
2003
Springer
15 years 8 months ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...
139
Voted
CHI
1995
ACM
15 years 7 months ago
The ScienceWare Modeler: a learner-centered tool for students building models
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
Shari L. Jackson
CSDA
2007
126views more  CSDA 2007»
15 years 3 months ago
A consistent nonparametric Bayesian procedure for estimating autoregressive conditional densities
This article proposes a Bayesian infinite mixture model for the estimation of the conditional density of an ergodic time series. A nonparametric prior on the conditional density ...
Yongqiang Tang, Subhashis Ghosal
146
Voted
ASPLOS
2010
ACM
15 years 10 months ago
A real system evaluation of hardware atomicity for software speculation
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
Naveen Neelakantam, David R. Ditzel, Craig B. Zill...
IPPS
2007
IEEE
15 years 9 months ago
The Next Generation Software Workshop - IPDPS'07
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
Frederica Darema