Sciweavers

2949 search results - page 184 / 590
» Universal Sparse Modeling
Sort
View
CIE
2005
Springer
15 years 8 months ago
Computing a Model of Set Theory
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. The general...
Peter Koepke
HYBRID
1994
Springer
15 years 7 months ago
DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, He...
SIAMCO
2008
72views more  SIAMCO 2008»
15 years 3 months ago
Optimal Consumption in a Growth Model with the Cobb--Douglas Production Function
An optimal consumption problem is studied in a growth model for the Cobb-Douglas production function in a finite horizon. The problem is transfered into a stochastic Ramsey proble...
Hiroaki Morimoto, Xun Yu Zhou
WOSP
2005
ACM
15 years 8 months ago
A model transformation framework for the automated building of performance models from UML models
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
Andrea D'Ambrogio
EWSN
2008
Springer
16 years 2 months ago
Distributed Inference for Network Localization Using Radio Interferometric Ranging
Abstract. A localization algorithm using radio interferometric measurements is presented. A probabilistic model is constructed that accounts for general noise models and lends itse...
Dennis Lucarelli, Anshu Saksena, Ryan Farrell, I-J...