Sciweavers

826 search results - page 96 / 166
» A Review to Model-Based User Interface Development Technolog...
Sort
View
MKM
2007
Springer
14 years 2 months ago
Cooperative Repositories for Formal Proofs
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
Pierre Corbineau, Cezary Kaliszyk
ACMIDC
2008
13 years 10 months ago
Supporting children as they program to make physical and virtual objects interact
I develop technological tools to help communities of children creatively solve problems as they program computers. The Hook-ups project introduces computational tools that support...
Amon Millner
HICSS
1999
IEEE
267views Biometrics» more  HICSS 1999»
14 years 5 days ago
Annotate: A Web-based Knowledge Management Support System for Document Collections
Knowledge management is an increasingly important source of competitive advantage for organizations. Knowledge is a renewable, re-usable and accumulating asset of value to firms t...
Mark Ginsburg, Ajit Kambil
ASSETS
2006
ACM
14 years 1 months ago
A flexible VXML interpreter for non-visual web access
VoiceXML (VXML) is a W3C’s standard for specifying interactive dialogs. It finds multiple uses in various Web applications. VXML can also be used in non-visual Web browsing. Th...
Yevgen Borodin
BIB
2008
77views more  BIB 2008»
13 years 8 months ago
Experience using web services for biological sequence analysis
Programmatic access to data and tools through the web using so-called web services has an important role to play in bioinformatics. In this article, we discuss the most popular ap...
Heinz Stockinger, Teresa K. Attwood, Shahid Nadeem...