Sciweavers

7960 search results - page 323 / 1592
» Systems for Knowledge and Beliefs
Sort
View
AAAI
2000
15 years 8 months ago
The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
K. Suzanne Barber, Thomas J. Graser, Paul Grisham,...
COLING
1992
15 years 8 months ago
The Kant System: Fast, Accurate, High-Quality Translation In Practical Domains
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
Eric Nyberg, Teruko Mitamura
ICAISC
2004
Springer
16 years 4 days ago
ActiveMath: An Intelligent Tutoring System for Mathematics
ActiveMath is a web-based intelligent tutoring system for mathematics. This article presents the technical and pedagogical goals of ActiveMath, its principles of design and archite...
Erica Melis, Jörg H. Siekmann
DLOG
2008
15 years 9 months ago
ContraBovemRufum: A System for Probabilistic Lexicographic Entailment
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
Tobias Henrik Näth, Ralf Möller
WWW
2008
ACM
16 years 7 months ago
Collaborative knowledge semantic graph image search
In this paper, we propose a Collaborative Knowledge Semantic Graphs Image Search (CKSGIS) system. It provides a novel way to conduct image search by utilizing the collaborative na...
Jyh-Ren Shieh, Yang-Ting Yeh, Chih-Hung Lin, Ching...