Sciweavers

1657 search results - page 139 / 332
» Subjective Mapping
Sort
View
DAC
2006
ACM
16 years 26 days ago
Guiding simulation with increasingly refined abstract traces
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
Kuntal Nanshi, Fabio Somenzi
WWW
2007
ACM
16 years 17 days ago
Computer-Supported Collaborative Knowledge Modeling in Ecology
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
Deana Pennington, Joshua S. Madin, Ferdinando Vill...
WWW
2007
ACM
16 years 17 days ago
Learning ontologies to improve the quality of automatic web service matching
This paper presents a novel technique that significantly improves the quality of semantic Web service matching by (1) automatically generating ontologies based on Web service desc...
Hui Guo, Anca Ivan, Rama Akkiraju, Richard Goodwin
WWW
2007
ACM
16 years 17 days ago
XML-based XML schema access
ma's abstract data model consists of components, which are the structures that eventually define a schema as a whole. XML Schema's XML syntax, on the other hand, is not ...
Erik Wilde, Felix Michel
WWW
2006
ACM
16 years 17 days ago
Merging trees: file system and content integration
XML is the predominant format for representing structured information inside documents, but it stops at the level of files. This makes it hard to use XML-oriented tools to process...
Erik Wilde