Sciweavers

3719 search results - page 103 / 744
» RACER System Description
Sort
View
ACL
1989
15 years 1 months ago
Cooking Up Referring Expressions
This paper describes the referring expression generation mechanisms used in EPICURE, a computer program which produces natural language descriptions of cookery recipes. Major feat...
Robert Dale
BILDMED
2006
15 years 1 months ago
Graph-Based Quantification of Astrocytes
Astroglial cells in the central nervous system (CNS) are able to change their morphology and shape after different kinds of stimuli. We have developed a method for the structural d...
Ulf-Dietrich Braumann, Heike Franke, Jan Hengstler...
MMAS
2011
Springer
14 years 6 months ago
Scalable Bayesian Reduced-Order Models for Simulating High-Dimensional Multiscale Dynamical Systems
While existing mathematical descriptions can accurately account for phenomena at microscopic scales (e.g. molecular dynamics), these are often high-dimensional, stochastic and thei...
Phaedon-Stelios Koutsourelakis, Elias Bilionis
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 3 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
SFM
2004
Springer
15 years 5 months ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...