Sciweavers

3706 search results - page 158 / 742
» KtSeqC: System Description
Sort
View
ICCAD
1997
IEEE
117views Hardware» more  ICCAD 1997»
15 years 10 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
ACL
1989
15 years 7 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 8 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...
DLOG
2001
15 years 8 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
AOSE
2005
Springer
16 years 3 days ago
Zooming Multi-Agent Systems
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...
Ambra Molesini, Andrea Omicini, Alessandro Ricci, ...