Sciweavers

828 search results - page 95 / 166
» On Order Dependencies for the Semantic Web
Sort
View
ASWC
2006
Springer
15 years 10 months ago
Finding Important Vocabulary Within Ontology
In current Semantic Web community, some researches have been done on ranking ontologies, while very little is paid to ranking vocabularies within ontology. However, finding importa...
Xiang Zhang, Hongda Li, Yuzhong Qu
DLOG
2011
14 years 9 months ago
Integrity Constraints for Linked Data
Linked Data makes one central addition to the Semantic Web principles: all entity URIs should be dereferenceable to provide an authoritative RDF representation. URIs in a linked da...
Alan Jeffrey, Peter F. Patel-Schneider
WSKS
2009
Springer
16 years 23 days ago
Towards an "Intelligent" Tagging Tool for Blogs
Tagging allows people to effectively organize web resources such as images, bookmarks or blog articles. Things are found easier by browsing tag clouds relying on the tags that hav...
Juraj Frank, Renate Motschnig, Martin Homola
GLVLSI
2000
IEEE
87views VLSI» more  GLVLSI 2000»
15 years 10 months ago
Speeding up symbolic model checking by accelerating dynamic variable reordering
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
Christoph Meinel, Christian Stangier
RTAS
2007
IEEE
16 years 14 days ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee