Sciweavers

4498 search results - page 288 / 900
» How to Invent Functions
Sort
View
144
Voted
CORR
2004
Springer
140views Education» more  CORR 2004»
15 years 4 months ago
Integrating Defeasible Argumentation and Machine Learning Techniques
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
Sergio Alejandro Gómez, Carlos Iván ...
149
Voted
CSL
1998
Springer
15 years 4 months ago
Evaluating spoken dialogue agents with PARADISE: Two case studies
This paper presents PARADISE PARAdigm for DIalogue System Evaluation, a general framework for evaluating and comparing the performance of spoken dialogue agents. The framework d...
Marilyn A. Walker, Diane J. Litman, Candace A. Kam...
MST
2007
168views more  MST 2007»
15 years 4 months ago
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
Milad Niqui
PRL
2007
98views more  PRL 2007»
15 years 4 months ago
Error probabilities for local extrema in gene expression data
Current approaches for the prediction of functional relations from gene expression data often do not have a clear methodology for extracting features and are not accompanied by a ...
Perry Groot, Christian Gilissen, Michael Egmont-Pe...
175
Voted
TVLSI
2008
152views more  TVLSI 2008»
15 years 4 months ago
MMV: A Metamodeling Based Microprocessor Validation Environment
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Di...