10568 search results - page 637 / 2114 » Computer Intelligence and Formalization |
176
click to vote
ISSAC
2009
Springer
16 years 1 months ago
2009
Springer
We study systems of higher-order linear differential equations having a regular singularity at the origin. Using the properties of matrix polynomials, we develop efficient method...
161
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a Conceptual Graph (cg) framework to the Generation of Referring Expressions (gre). Employing Conceptual Graphs as the underlying formalism allows a new rigorou...
181
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
158
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
185
click to vote
MFCS
2007
Springer
16 years 1 months ago
2007
Springer
We investigate algorithmic properties of infinite transition graphs that are generated by rewriting systems over unranked trees. Two kinds of such rewriting systems are studied. ...