Sciweavers

224 search results - page 35 / 45
» Ontology Verification with Repositories
Sort
View
148
Voted
WWW
2009
ACM
16 years 6 months ago
Playful tagging: folksonomy generation using online games
Collaborative Tagging is a powerful method to create folksonomies that can be used to grasp/filter user preferences or enhance web search. Recent research has shown that depending...
Markus Krause, Hidir Aras
WWW
2005
ACM
16 years 6 months ago
Soundness proof of Z semantics of OWL using institutions
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
145
Voted
SIGIR
2009
ACM
15 years 12 months ago
Feature selection for automatic taxonomy induction
Most existing automatic taxonomy induction systems exploit one or more features to induce a taxonomy; nevertheless there is no systematic study examining which are the best featur...
Hui Yang, Jamie Callan
184
Voted
ISORC
2005
IEEE
15 years 11 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
ITS
2000
Springer
108views Multimedia» more  ITS 2000»
15 years 9 months ago
Is What You Write What You Get?: An Operational Model of Training Scenario
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
Yusuke Hayashi, Mitsuru Ikeda, Kazuhisa Seta, Osam...