Sciweavers

2542 search results - page 106 / 509
» An Operational Definition of Context
Sort
View
ENTCS
2006
114views more  ENTCS 2006»
15 years 6 months ago
Prototyping SOS Meta-theory in Maude
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
Mohammad Reza Mousavi, Michel A. Reniers
ETAI
2000
84views more  ETAI 2000»
15 years 6 months ago
Learning Stochastic Logic Programs
Stochastic logic programs combine ideas from probabilistic grammars with the expressive power of definite clause logic; as such they can be considered as an extension of probabili...
Stephen Muggleton
HCI
2009
15 years 4 months ago
Composing Visual Syntax for Domain Specific Languages
With the increasing interest in metamodeling techniques for Domain Specific Modeling Languages (DSML) definition, there is a strong need to improve the language modeling process. O...
Luis Pedro, Matteo Risoldi, Didier Buchs, Bruno Ba...
HICSS
2009
IEEE
117views Biometrics» more  HICSS 2009»
16 years 1 months ago
Understanding the "Boundary" in Information Sharing and Integration
The definition of “boundary” in the context of multiorganizational information sharing and integration initiatives is developed in the paper. Both current literature and a cas...
Lei Zheng, Tung-Mou Yang, Theresa A. Pardo, Yuanfu...
DAS
2004
Springer
16 years 7 days ago
A Complete Approach to the Conversion of Typewritten Historical Documents for Digital Archives
This paper presents a complete system that historians/archivists can use to digitize whole collections of documents relating to personal information. The system integrates tools an...
Apostolos Antonacopoulos, Dimosthenis Karatzas