Sciweavers

12 search results - page 1 / 3
» Desingularization of Ore operators
Sort
View
JSYML
2010
74views more  JSYML 2010»
12 years 12 months ago
Quantifier elimination in valued Ore modules
We consider valued fields with a distinguished isometry or contractive derivation as valued modules over the Ore ring of difference operators. Under certain assumptions on the resi...
Luc Bélair, Françoise Point
ISSAC
2004
Springer
91views Mathematics» more  ISSAC 2004»
13 years 10 months ago
Hyperexponential solutions of finite-rank ideals in orthogonal ore rings
An orthogonal Ore ring is an abstraction of common properties of linear partial differential, shift and q-shift operators. Using orthogonal Ore rings, we present an algorithm for...
George Labahn, Ziming Li
JUCS
2010
133views more  JUCS 2010»
13 years 3 months ago
Knowledge Authoring with ORE: Testing, Debugging and Validating Knowledge Rules in a Semantic Web Framework
Abstract: Ontology rule editing, testing, debugging and validation are still handcrafted and painful tasks. Nowadays, there is a lack of tools that take these tasks into considerat...
Andrés Muñoz Ortega, Jose M. Alcaraz...
ISM
2006
IEEE
86views Multimedia» more  ISM 2006»
13 years 11 months ago
OreDesk: A Tool for Retrieving Data History Based on User Operations
During day-to-day activities, a user refers to various data items on a PC, such as documents, images, and audio clips. However, when the number of items in the history increases, ...
Ryo Ohsawa, Kazunori Takashio, Hideyuki Tokuda