Sciweavers

627 search results - page 83 / 126
» Experiences in Modeling for a Domain Specific Language
Sort
View
ASE
2005
140views more  ASE 2005»
13 years 8 months ago
Automated Procedure Construction for Deductive Synthesis
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
Steve Roach, Jeffrey Van Baalen
ITNG
2006
IEEE
14 years 2 months ago
Using the Web to Construct Taxonomy for a Heterogeneous Community of Practice
A heterogeneous community of practice spans many disciplines, industries and professions. Members of these communities are united by common research, products and experiences but ...
Isak Taksa, Amanda Spink
SEMWEB
2005
Springer
14 years 1 months ago
Ontology Learning and Reasoning - Dealing with Uncertainty and Inconsistency
Ontology Learning from text aims at generating domain ontologies from textual resources by applying natural language processing and machine learning techniques. It is inherent in t...
Peter Haase, Johanna Völker
MM
2005
ACM
121views Multimedia» more  MM 2005»
14 years 1 months ago
Exploring media correlation and synchronization for navigated hypermedia documents
This paper is devoted to explore media correlation and media synchronization in a composite multimedia document, the so-called navigated hypermedia document in our language learni...
Kuo-Yu Liu, Herng-Yow Chen
ICEIS
2002
IEEE
14 years 1 months ago
Using Hot-Spot-Driven Approach in the Development of a Framework for Multimedia Presentation on the Web
: Frameworks can be seen as generative since they are intended and well suited to be used as the foundation for the development of a number of applications in the domain captured b...
Khalid Suliman Al-Tahat, Sufian Bin Idris, Tengku ...