Sciweavers

2904 search results - page 91 / 581
» Number Forms in the Brain
Sort
View
ICALP
2003
Springer
15 years 11 months ago
Oracle Circuits for Branching-Time Model Checking
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
Ph. Schnoebelen
ICCAD
1990
IEEE
105views Hardware» more  ICCAD 1990»
15 years 10 months ago
Partial Detectability Profiles
Partial detectability profiles are formed by randomly sampling each fault's detectability and are used in estimating the fault coverage of random input test vectors on combin...
Paul G. Ryan, W. Kent Fuchs
IFL
2000
Springer
135views Formal Methods» more  IFL 2000»
15 years 10 months ago
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...
Olaf Chitil, Colin Runciman, Malcolm Wallace
IWLCS
2000
Springer
15 years 10 months ago
Strength and Money: An LCS Approach to Increasing Returns
This paper reports on a number of experiments where three different groups of artificial agents learn, forecast and trade their holdings in a real stock market scenario given exoge...
Sonia Schulenburg, Peter Ross
ACL
1992
15 years 7 months ago
Tense Trees as the "Fine Structure" of Discourse
We present a new compositional tense-aspect deindexing mechanism that makes use of tense trees as components of discourse contexts. The mechanism allows reference episodes to be c...
Chung Hee Hwang, Lenhart K. Schubert