Sciweavers

3798 search results - page 133 / 760
» Automatic creation of user interfaces for information system
Sort
View
WWW
2004
ACM
15 years 10 months ago
Implementing a proxy agent based writable web for a dynamic information sharing system
In this paper, we propose a Web based information sharing system called the Proxy Agent-based Information Sharing (PAIS). We also developed a writable Web mechanism called Web bro...
Noriharu Tashiro, Hiromitsu Hattori, Takayuki Ito,...
WWW
2010
ACM
14 years 10 months ago
Structured audio podcasts via web text-to-speech system
Audio podcasting is increasingly present in the educational field and is especially appreciated as an ubiquitous/pervasive tool ("anywhere, anytime, at any pace") for ac...
Giulio Mori, Maria Claudia Buzzi, Marina Buzzi, Ba...
WWW
2007
ACM
15 years 10 months ago
SOBOLEO -- Social Bookmarking and Lighweight Engineering of Ontologies
We present SOBOLEO, a system for the webbased collaborative engineering of SKOS ontologies and annotation of web resources. SOBOLEO enables the simple creation, extension and main...
Valentin Zacharias, Simone Braun
TACAS
2000
Springer
151views Algorithms» more  TACAS 2000»
15 years 1 months ago
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
Ramesh Bharadwaj, Steve Sims
CSCW
2008
ACM
14 years 11 months ago
The microstructures of social tagging: a rational model
This article presents a rational model developed under the distributed cognition framework that explains how social tags influence knowledge acquisition and adaptation in explorat...
Wai-Tat Fu