Sciweavers

503 search results - page 51 / 101
» Combining Description Logics, Description Graphs, and Rules
Sort
View
ICDAR
2009
IEEE
14 years 2 months ago
The Understanding and Structure Analyzing for Online Handwritten Chemical Formulas
In this paper, we propose a novel approach for understanding and analyzing the online handwritten chemical formulas. With the structural characteristics, semantic rules, and more ...
Xin Wang, Guangshun Shi, Jufeng Yang
CICLING
2005
Springer
14 years 1 months ago
Design and Development of a System for the Detection of Agreement Errors in Basque
This paper presents the design and development of a system for the detection and correction of syntactic errors in free texts. The system is composed of three main modules: a) a ro...
Arantza Díaz de Ilarraza Sánchez, Ko...
DATE
2006
IEEE
141views Hardware» more  DATE 2006»
14 years 1 months ago
Evaluating coverage of error detection logic for soft errors using formal methods
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
Udo Krautz, Matthias Pflanz, Christian Jacobi 0002...
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 9 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
CONTEXT
2007
Springer
14 years 1 months ago
Modeling Adaptive Behavior with Conceptual Spaces
Abstract. We discuss a membrane-based calculus for the combination of conceptual spaces during runtime. Since our goal is to support emergent properties of behavior (and due to the...
Michael Cebulla