Sciweavers

780 search results - page 38 / 156
» Combining a Formal with an Example-driven Approach for Data ...
Sort
View
IRI
2009
IEEE
14 years 3 months ago
OntoMatch: A Monotonically Improving Schema Matching System for Autonomous Data Integration
Traditional schema matchers use a set of distinct simple matchers and use a composition function to combine the individual scores using an arbitrary order of matcher application l...
Anupam Bhattacharjee, Hasan M. Jamil
JMLR
2010
145views more  JMLR 2010»
13 years 3 months ago
Event based text mining for integrated network construction
The scientific literature is a rich and challenging data source for research in systems biology, providing numerous interactions between biological entities. Text mining technique...
Yvan Saeys, Sofie Van Landeghem, Yves Van de Peer
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
14 years 2 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
IADIS
2004
13 years 10 months ago
Connect: Designing the Classroom of Tomorrow by Using Advanced Technologies to Connect Formal and Informal Learning Environments
The main objective of the CONNECT project is to develop an innovative pedagogical framework that attempts to blend formal and informal learning, proposing an educational reform to ...
Sofoklis Sotiriou, Eleni Chatzichristou, Stavros S...
MIE
2008
174views Healthcare» more  MIE 2008»
13 years 10 months ago
Semantic Web Ontology Utilization for Heart Failure Expert System Design
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
Marin Prcela, Dragan Gamberger, Alan Jovic