Sciweavers

1418 search results - page 58 / 284
» How to Explain Mistakes
Sort
View
ANTS
2008
Springer
108views Algorithms» more  ANTS 2008»
13 years 11 months ago
Some Improvements to 4-Descent on an Elliptic Curve
The theory of 4-descent on elliptic curves has been developed in the PhD theses of Siksek [18], Womack [21] and Stamminger [20]. Prompted by our use of 4-descent in the search for ...
Tom Fisher
BIRTHDAY
2008
Springer
13 years 11 months ago
Church's Problem and a Tour through Automata Theory
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...
Wolfgang Thomas
EON
2008
13 years 11 months ago
Semantic System Integration - Incorporating Rule based Semantic Bridges into BPEL Processes
Abstract. This paper describes how semantic bridges realized in terms of rulebased ontology mappings can be incorporated into BPEL processes. The approach is explained by applying ...
Nils Barnickel, Ralf Weinand, Matthias Flügge
JAC
2008
13 years 11 months ago
Neighborhood transformations on graph automata
Abstract. We consider simulations of graph automata. We introduce two local transformations on the neighborhood: splitting and merging. We explain how to use such transformations, ...
Bruno Martin, Christophe Papazian
ODR
2008
13 years 11 months ago
A Description of Legal Interpretations in Risk Management with the Use of Ontology Alignment Formalisms
The paper has two goals: firstly, we explain how ontology mapping formalisms can be used to denote the many interpretations of a given legal concept; secondly, we provide a short c...
Piotr Stolarski, Tadeusz Tomaszewski, John Zelezni...