Sciweavers

2148 search results - page 326 / 430
» From process logic to program logic
Sort
View
ALT
2010
Springer
13 years 9 months ago
Towards General Algorithms for Grammatical Inference
Many algorithms for grammatical inference can be viewed as instances of a more general algorithm which maintains a set of primitive elements, which distributionally define sets of ...
Alexander Clark
IIWAS
2007
13 years 9 months ago
Sub-Ontology Discovery for Adaptive Re-use
: The discovery of the ”right” ontology or ontology part is a central ingredient for effective ontology re-use. We present an approach for supporting a form of adaptive re-use...
Rodolfo Stecher, Claudia Niederée, Wolfgang...
CLA
2004
13 years 9 months ago
A Semi-automatic Method to Ontology Design by Using FCA
Ontology design is a complex and time-consuming process. It is extremely difficult for human experts to discover ontology from given data or texts. This paper presents a semi-autom...
Hele-Mai Haav
CSAC
2006
13 years 9 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
IWUC
2004
13 years 9 months ago
Mobile Agent System for Web Services Integration in Pervasive Networks
Web Services integration using languages such as BPEL is to be applied not only on the Internet but also in pervasive networks using wireless mobile devices. However, in such a net...
Fuyuki Ishikawa, Nobukazu Yoshioka, Yasuyuki Tahar...