3066 search results - page 283 / 614 » On Facilitating Automated Evaluation |
149
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
157
click to vote
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
The representation of both scales of cost and scales of benefit is very natural in a decision-making problem: scales of evaluation of decisions are often bipolar. The aim of this ...
131
click to vote
IWANN
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a three degrees of freedom orientation tracker as suitable controlling equipment for an automated wheelchair. Mounted at the back of an operator’s head by the...
113
click to vote
KES
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Clickstream can be a rich source of data for analysing user behaviour, but the volume of these logs makes it difficult to identify and categorise behavioural patterns. In...
199
click to vote
QEST
2005
IEEE
16 years 12 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...