Sciweavers

6343 search results - page 915 / 1269
» Development of a Cartographic Language
Sort
View
BIRTHDAY
2010
Springer
15 years 7 months ago
Model Checking Programmable Router Configurations
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
Luca Zanolin, Cecilia Mascolo, Wolfgang Emmerich
APAL
2008
90views more  APAL 2008»
15 years 7 months ago
On the unity of duality
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
Noam Zeilberger
CSDA
2010
118views more  CSDA 2010»
15 years 6 months ago
Grapham: Graphical models with adaptive random walk Metropolis algorithms
Recently developed adaptive Markov chain Monte Carlo (MCMC) methods have been applied successfully to many problems in Bayesian statistics. Grapham is a new open source implementat...
Matti Vihola
ECEASST
2008
171views more  ECEASST 2008»
15 years 6 months ago
Type Checking C++ Template Instantiation by Graph Programs
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
Karl Azab, Karl-Heinz Pennemann
AIM
2006
15 years 6 months ago
Toward Virtual Humans
This paper describes the virtual humans developed as part of the Mission Rehearsal Exercise project, a virtual reality-based training system. This project is an ambitious exercise...
William R. Swartout, Jonathan Gratch, Randall W. H...