Sciweavers

3595 search results - page 177 / 719
» Roles of Program Extension
Sort
View
145
Voted
TABLEAUX
1998
Springer
15 years 9 months ago
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
Bernhard Beckert, Ulrike Hartmer
MODELLIERUNG
2008
15 years 6 months ago
Integrating Content Assist into Textual Modelling Editors
: Intelligent, context sensitive content assist (also known as code completion) plays an important role in the effectiveness of model editors. This is not only true for textual lan...
Markus Scheidgen
NAACL
2007
15 years 6 months ago
Dynamic Use of Ontologies in Dialogue Systems
Most dialogue systems are built with a single task in mind. This makes the extension of an existing system one of the major problems in the field as large parts of the system hav...
Joana Paulo Pardal
OWLED
2007
15 years 6 months ago
Combining OWL with RCC for Spatioterminological Reasoning on Environmental Data
A new approach to spatioterminological reasoning is presented which is based on a hybrid knowledge representation system architecture and on a representation of the RCC family tree...
Rolf Grütter, Bettina Bauer-Messmer
ENTCS
2008
92views more  ENTCS 2008»
15 years 5 months ago
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
At the early stages of the phagocytic signalling, Rho GTP-binding proteins play a key role. With the stimulus from the cell membrane and with the help from the regulators (GEF, GA...
Luca Cardelli, Philippa Gardner, Ozan Kahramanogul...