331 search results - page 31 / 67 » HOLCF: Higher Order Logic of Computable Functions |
96
Voted
RTSS
1989
IEEE
15 years 4 months ago
1989
IEEE
A new fault tolerant architecture that provides tolerance to a broad scope of hardware, software, and communications faults is being developed. This architecture relies on widely ...
120
Voted
JUCS
2006
15 years 12 days ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
107
click to vote
PODS
2004
ACM
16 years 17 days ago
2004
ACM
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
83
Voted
IJCV
2006
15 years 13 days ago
2006
In this paper, we suggest a variational model for optic flow computation based on non-linearised and higher order constancy assumptions. Besides the common grey value constancy ass...
117
Voted
ASPDAC
2009
ACM
15 years 7 months ago
2009
ACM
—Reversible logic studies have promising potential on energy lossless circuit design, quantum computation, nanotechnology, etc. Reversible logic features a one-to-one input outpu...