4224 search results - page 698 / 845 » Reasoning about Choice |
COGSCI
2008
15 years 1 months ago
2008
Griffiths and Tenenbaum (2006) asked individuals to make predictions about the duration or extent of everyday events (e.g., cake baking times), and reported that predictions were ...
111
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Previous work reports about SXSI, a fast XPath engine which executes tree automata over compressed XML indexes. Here, reasons are investigated why SXSI is so fast. It is shown tha...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Cyclic coordinate descent is a classic optimization method that has witnessed a resurgence of interest in machine learning. Reasons for this include its simplicity, speed and stab...
106
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
117
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...