Sciweavers

8141 search results - page 99 / 1629
» Higher Order Generalization
Sort
View
86
Voted
DATE
2005
IEEE
99views Hardware» more  DATE 2005»
15 years 6 months ago
A New System Design Methodology for Wire Pipelined SoC
Wire Pipelining (WP) has been proposed in order to limit the impact of increasing wire delays. In general, the added pipeline elements alters the system such that architectural ch...
Mario R. Casu, Luca Macchiarulo
79
Voted
FLAIRS
2001
15 years 2 months ago
Exploring the Use of Cognitive Models in AI Applications Using the Stroop Effect
Using a generalized adaptive frameworkfor unified cognitive modeling,wereplicate humanperformanceon a standardStrooptask withinan explanatorycomputational modelof vision, language...
Charles Hannon, Diane J. Cook
79
Voted
WSC
2004
15 years 2 months ago
Risk and Information in the Estimation of Hidden Markov Models
In this paper, we consider the relationship between risksensitivity and information. Product estimators are introduced as a generalization of Maximum A Posteriori Probability (MAP...
Vahid Reza Ramezani, Steven I. Marcus, Michael C. ...
119
Voted
ICFP
2003
ACM
16 years 23 days ago
Mechanising Hankin and Barendregt using the Gordon-Melham axioms
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
Michael Norrish
117
Voted
AAAI
2006
15 years 2 months ago
Mechanisms for Partial Information Elicitation: The Truth, but Not the Whole Truth
We examine a setting in which a buyer wishes to purchase probabilistic information from some agent. The seller must invest effort in order to gain access to the information, and m...
Aviv Zohar, Jeffrey S. Rosenschein