Sciweavers

620 search results - page 42 / 124
» Tool support for component-based semantics
Sort
View
SIGADA
2007
Springer
15 years 5 months ago
Using SPARK for a beginner's course on reasoning about imperative programs
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
Kung-Kiu Lau
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 4 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
CHI
2008
ACM
16 years 2 days ago
AutoCardSorter: designing the information architecture of a web site using latent semantic analysis
In this paper, we describe an innovative tool that supports the design and evaluation of the information architecture of a Web site. The tool uses Latent Semantic Analysis and hie...
Christos Katsanos, Nikolaos K. Tselios, Nikolaos M...
ICMCS
2005
IEEE
109views Multimedia» more  ICMCS 2005»
15 years 5 months ago
Ontology Design for Video Semantic Threads
We propose that, at the highest level of video understanding, the human needs for meaning and the methodologies to extract it are both universal and generic. One must develop an o...
John R. Kender, Milind R. Naphade
ESWS
2008
Springer
15 years 1 months ago
SWING: An Integrated Environment for Geospatial Semantic Web Services
Geospatial Web services allow to access and to process Geospatial data. Despite significant standardisation efforts, severe heterogeneity and interoperability problems remain. The ...
Mihai Andrei, Arne-Jørgen Berre, Luis Costa...