3166 search results - page 124 / 634 » Translation By Structural Correspondences |
108
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Friedman and Halpern have introduced the inference by plausibility structures, which provides semantics for various default logics. This is a generalization of known inferences, su...
120
Voted
PDP
2002
IEEE
15 years 5 months ago
2002
IEEE
Despite the explosive new interest in Distributed Computing, bringing software — particularly legacy software — to parallel platforms remains a daunting task. The Self Distrib...
ITC
1998
IEEE
15 years 5 months ago
1998
IEEE
The main objective of core-based IC design is improvement of design efficiency and time-to-market. In order to prevent test development from becoming the bottleneck in the entire ...
BCSHCI
2007
15 years 2 months ago
2007
In this paper we describe an exploratory study on the use of a structured interviewing evaluation technique with 6 to 8 year old children. The study examines whether children are ...
ENTCS
2007
15 years 22 days ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....