Sciweavers

558 search results - page 68 / 112
» Conversational Case-Based Reasoning
Sort
View
ICMI
2005
Springer
113views Biometrics» more  ICMI 2005»
15 years 8 months ago
Automatic detection of interaction groups
This paper addresses the problem of detecting interaction groups in an intelligent environment. To understand human activity, we need to identify human actors and their interperso...
Oliver Brdiczka, Jérôme Maisonnasse, ...
LREC
2008
132views Education» more  LREC 2008»
15 years 4 months ago
From Human Communication to Intelligent User Interfaces: Corpora of Spoken Estonian
We argue for the necessity of studying human-human spoken conversations of various kinds in order to create user interfaces to databases. An efficient user interface benefits from...
Tiit Hennoste, Olga Gerassimenko, Riina Kasterpalu...
LICS
1989
IEEE
15 years 7 months ago
Computational Lambda-Calculus and Monads
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
Eugenio Moggi
ICAIL
1999
ACM
15 years 7 months ago
Intelligent jurisprudence research: a new concept
Intelligent Jurisprudence Research (IJR) is a concept that consists in performing jurisprudence research with a computational tool that employs Artificial Intelligence (AI) techni...
Rosina Weber
DLOG
2011
14 years 6 months ago
Practical Epistemic Entailment Checking in SROIQ
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
Anees Mehdi, Sebastian Rudolph