Sciweavers

3718 search results - page 101 / 744
» IMPS: System Description
Sort
View
ICCAD
1997
IEEE
117views Hardware» more  ICCAD 1997»
15 years 8 months ago
Decomposition of timed decision tables and its use in presynthesis optimizations
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
Jian Li, Rajesh K. Gupta
139
Voted
ACL
1989
15 years 5 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
104
Voted
BILDMED
2006
15 years 5 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...
150
Voted
DLOG
2001
15 years 5 months ago
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
Volker Haarslev, Martina Timmann, Ralf Möller
MMAS
2011
Springer
14 years 11 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