Sciweavers

2435 search results - page 212 / 487
» Intellexer Question Answering
Sort
View
MKM
2009
Springer
15 years 8 months ago
Formal Proof: Reconciling Correctness and Understanding
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
Cristian S. Calude, Christine Müller
ECWEB
2001
Springer
117views ECommerce» more  ECWEB 2001»
15 years 8 months ago
Just Business -Shouldn't We Have Some Fun?
Information Technology has changed our life and society already to such an extent that even our visions cannot exist without technology and its applications. And this change is acc...
Hannes Werthner
ICCBR
2001
Springer
15 years 8 months ago
Taxonomic Conversational Case-Based Reasoning
Conversational Case-Based Reasoning (CCBR) systems engage a user in a series of questions and answers to retrieve cases that solve his/her current problem. Help-desk and interactiv...
Kalyan Moy Gupta
UM
2001
Springer
15 years 8 months ago
Utility-Based Decision Tree Optimization: A Framework for Adaptive Interviewing
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...
Markus Stolze, Michael Ströbel
ICMCS
2000
IEEE
179views Multimedia» more  ICMCS 2000»
15 years 8 months ago
Mixing Realities in Shared Space: An Augmented Reality Interface for Collaborative Computing
In the Shared Space project, we explore, innovate, design and evaluate future computing environments that will radically enhance interaction between human and computers as well as...
Mark Billinghurst, Ivan Poupyrev, Hirokazu Kato, R...