Sciweavers

1915 search results - page 23 / 383
» A language for functional interpretation of model based simu...
Sort
View
MICCAI
2004
Springer
14 years 10 months ago
Simulation Model of Intravascular Ultrasound Images
Abstract. The extraction of quantitative information through Intravascular Ultrasound (IVUS) images is a very important goal for the diagnostic and the therapy in atherosclerotic v...
Misael Dario Rosales Ramírez, Petia Radeva ...
POPL
2012
ACM
12 years 4 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...
POPL
1995
ACM
14 years 19 days ago
Monad Transformers and Modular Interpreters
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
Sheng Liang, Paul Hudak, Mark P. Jones
WSC
2000
13 years 10 months ago
A review of web based simulation: whither we wander?
This paper considers a variety of new technologies for discrete-event simulation software development. Environments and languages for web based simulation are reviewed. Web based ...
Jasna Kuljis, Ray J. Paul
ICRA
2008
IEEE
119views Robotics» more  ICRA 2008»
14 years 3 months ago
Maximum likelihood estimation of sensor and action model functions on a mobile robot
— In order for a mobile robot to accurately interpret its sensations and predict the effects of its actions, it must have accurate models of its sensors and actuators. These mode...
Daniel Stronger, Peter Stone