Sciweavers

40 search results - page 8 / 8
» Advanced Inference in Fuzzy Systems by Rule Base Compression
Sort
View
BIRTHDAY
2010
Springer
13 years 5 months ago
Programming Inductive Proofs - A New Approach Based on Contextual Types
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
Brigitte Pientka
ITS
1998
Springer
133views Multimedia» more  ITS 1998»
13 years 9 months ago
The Foundations and Architecture of Autotutor
The Tutoring Research Group at the University of Memphis is developing an intelligent tutoring system which takes advantages of recent technological advances in the areas of semant...
Peter M. Wiemer-Hastings, Arthur C. Graesser, Dere...
ESWA
2006
117views more  ESWA 2006»
13 years 5 months ago
A knowledge-based approach to assign breast cancer treatments in oncology units
The aim of this work is to present a developed knowledge-based approach for breast cancer treatment. This Decision Support System (DSS) uses an incremental knowledge acquisition t...
Teddy G. Miranda-Mena, Sandra L. Benítez U....
CATS
2006
13 years 6 months ago
On the Logical Implication of Multivalued Dependencies with Null Values
The implication of multivalued dependencies (MVDs) in relational databases has originally been defined in the context of some fixed finite universe (Fagin 1977, Zaniolo 1976). Whi...
Sebastian Link
CICLING
2010
Springer
13 years 5 months ago
A Distributional Semantics Approach to Simultaneous Recognition of Multiple Classes of Named Entities
Named Entity Recognition and Classification is being studied for last two decades. Since semantic features take huge amount of training time and are slow in inference, the existing...
Siddhartha Jonnalagadda, Robert Leaman, Trevor Coh...