Sciweavers

2385 search results - page 236 / 477
» Knowledge Refinement for a Design System
Sort
View
KES
2008
Springer
15 years 6 months ago
Adventures in the Boundary between Domain-Independent Ontologies and Domain Content for CSCL
One of the main problems facing the development of ontology-aware authoring systems (OAS) is to link well-designed domain-independent knowledge (ontologies) with domain content. Su...
Seiji Isotani, Riichiro Mizoguchi
MM
2003
ACM
262views Multimedia» more  MM 2003»
15 years 11 months ago
ARMS: adaptive rich media secure streaming
In this demonstration we present the ARMS system which enables secure and adaptive rich media streaming to a large-scale, heterogeneous client population. The ARMS system dynamica...
Lisa Amini, Raymond Rose, Chitra Venkatramani, Oli...
AMAST
2008
Springer
15 years 8 months ago
Verification of Java Programs with Generics
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
Kurt Stenzel, Holger Grandy, Wolfgang Reif
ANZIIS
1996
IEEE
15 years 10 months ago
An object oriented intelligent tourist advisor system
This paper describes the design and developmentof an expert system for tourist information center. The expert system was built to recommend a suitable travel schedule that satisfi...
C. H. K. Tsang, M. H. C. Woo, C. Bloor
SIGMOD
2007
ACM
157views Database» more  SIGMOD 2007»
16 years 6 months ago
DaNaLIX: a domain-adaptive natural language interface for querying XML
We present DaNaLIX, a prototype domain-adaptive natural language interface for querying XML. Our system is an extension of NaLIX, a generic natural language interface for querying...
Yunyao Li, Ishan Chaudhuri, Huahai Yang, Satinder ...