Sciweavers

1736 search results - page 259 / 348
» Semantic Annotation for Java
Sort
View
DOCENG
2011
ACM
12 years 9 months ago
Timesheets.js: when SMIL meets HTML5 and CSS3
In this paper, we explore different ways to publish multimedia documents on the web. We propose a solution that takes advantage of the new multimedia features of web standards, n...
Fabien Cazenave, Vincent Quint, Cécile Rois...
WWW
2004
ACM
14 years 9 months ago
The role of standards in creating community
Participation in the web of communities requires a common language, a common technological structure and development of content that is relevant and captivating. This paper report...
Kathi C. Martin
EDBT
2006
ACM
206views Database» more  EDBT 2006»
14 years 9 months ago
The SIRUP Ontology Query API in Action
Ontology languages to represent ontologies exist in large numbers, and users who want to access or reuse ontologies can often be confronted with a language they do not know. Theref...
Patrick Ziegler, Christoph Sturm, Klaus R. Dittric...
TPHOL
2009
IEEE
14 years 3 months ago
Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
Andreas Lochbihler
PDCAT
2009
Springer
14 years 3 months ago
Supporting Partial Ordering with the Parallel Iterator
With the advent of multi-core processors, desktop application developers must finally face parallel computing and its challenges. A large portion of the computational load in a p...
Nasser Giacaman, Oliver Sinnen