5451 search results - page 179 / 1091 » Typed Operational Semantics |
128
click to vote
JEI
2008
15 years 3 months ago
2008
Defect detection in images is a current task in quality control and is often integrated in partially or fully automated systems. Assessing the performances of defect detection algo...
122
click to vote
IFL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
108
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...
136
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Both online and off, people frequently perform particular social roles. These roles organize behavior and give structure to positions in local networks. As more of social life bec...
117
Voted
ECP
1997
Springer
15 years 8 months ago
1997
Springer
It is traditional wisdom that one should start from the goals when generating a plan in order to focus the plan generation process on potentially relevant actions. The graphplan sy...