Sciweavers

3179 search results - page 243 / 636
» Applications of PCF Theory
Sort
View
AAAI
1990
13 years 12 months ago
Skolem Functions and Equality in Automated Deduction
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
William McCune
ICANN
2010
Springer
13 years 11 months ago
On Estimating Mutual Information for Feature Selection
Abstract. Mutual Information (MI) is a powerful concept from information theory used in many application fields. For practical tasks it is often necessary to estimate the Mutual In...
Erik Schaffernicht, Robert Kaltenhaeuser, Saurabh ...
AAI
2010
147views more  AAI 2010»
13 years 11 months ago
Maintaining engagement in Long-Term Interventions with Relational Agents
We discuss issues in designing virtual humans for applications which require long-term voluntary use, and the problem of maintaining engagement with users over time. Concepts and t...
Timothy W. Bickmore, Daniel Schulman, Langxuan Yin
APAL
2008
112views more  APAL 2008»
13 years 11 months ago
A domain model characterising strong normalisation
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
Ulrich Berger
BIOSYSTEMS
2007
111views more  BIOSYSTEMS 2007»
13 years 11 months ago
Metastability, criticality and phase transitions in brain and its models
This essay is designed to organize a range of experimental findings and theoretical insights of the past 25 years into a coherent view of the brain’s style of function. The view...
Gerhard Werner