4581 search results - page 421 / 917 » Computing Transformation Semigroups |
185
click to vote
ISSAC
2009
Springer
16 years 2 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...
212
click to vote
RULEML
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, a novel architecture for high-level scene interpretation is introduced, which is based on the generation of rules from an OWL-DL ontology. It is shown that...
238
click to vote
LICS
2008
IEEE
16 years 2 months ago
2008
IEEE
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...
231
click to vote
ICIC
2007
Springer
16 years 1 months ago
2007
Springer
We suggest to apply the hybrid neural network based on multi layer perceptron (MLP) and adaptive resonance theory (ART-2) for solving of navigation task of mobile robots. This appr...
190
click to vote
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with con...