نتایج جستجو برای: evaluator unit

تعداد نتایج: 397129  

2012
Aidan Lyon Fiona Fidler Mark Burgman

We present the results of an initial experiment that indicates that people are less overconfident and better calibrated when they assign confidence levels to someone else’s interval judgements (evaluator confidences) compared to assigning confidence levels to their own interval judgements (judge confidences). We studied what impact this had on a number of judgement aggregation methods, includin...

2000
Matthieu Exbrayat Lionel Brunie

In this paper we study the use of networks of PCs to handle the parallel execution of relational database queries. This approach is based on a parallel extension, called parallel relational query evaluator, working in a coupled mode with a sequential DBMS. We present a detailed architecture of the parallel query evaluator and introduce Enkidu, the eÆcient Java-based prototype that has been buil...

1997
Wuu Yang

Attribute grammars are a formalism for specifying computations on context-free languages. Due to the nonstrictness of the if constructs in attribution equations, it is possible to avoid evaluating certain attribute instances in a syntax tree. A dynamic evaluator can easily avoid such useless computations with a demand-driven approach. However, dynamic evaluators are not efficient because they n...

2006
Michael Kucera Jacques Carette

We have implemented a partial evaluator for Maple. One of the applications of this partial evaluator is to find, in Maple, what is the difference between generic or symbolic evaluation, and complete evaluation. More precisely, when asked degree(a*xˆ2+3,x), Maple replies 2, which is generically true. However, we are interested in the residual formula ¬(a = 0) which, as a guard, makes the answer ...

1995
Peter Thiemann Robert Glück

We address the problem of generating an online partial evaluator for a higher-order, functional language from an appropriate interpreter using a state-of-the-art ooine partial evaluator. To ensure termination of the generated online spe-cializer the interpreter computes a self-embedding property on closure values and data structures. This guarantees termination whenever there is no static loop ...

1992
Erik Ruf Daniel Weise

The degree to which a partial evaluator can specialize a source program depends on how accurately the partial evaluator can represent and maintain information about runtime values. Partial evaluators always lose some accuracy due to their use of nite type systems; however, existing partial evaluation techniques lose information about runtime values even when their type systems are capable of re...

2011
Eugen Jiresch

We discuss advantages and challenges of our ongoing implementation of a GPU-based, parallel interaction nets evaluator.

Journal: :ACM Transactions on Architecture and Code Optimization 2013

Examining the effect of high-stakes tests on learners’ perceptions has been one of the strands of washback-related research. The present study purported to investigate the washback effect of the English section of the Iranian National University Entrance Exam (henceforth INUEE) on the pre-university students’ perceptions about the high-stakes test. The participants of the study were 218 female ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید