736 search results - page 35 / 148 » High-order functions and their ordering relations |
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
An activity consists of an actor performing a series of actions in a pre-defined temporal order. An action is an individual atomic unit of an activity. Different instances of the ...
IANDC
2006
14 years 11 months ago
2006
We characterise the aperiodic autocorrelation for a Boolean function, f, and define the Aperiodic Propagation Criteria (APC) of degree l and order q. We establish the strong simil...
112
click to vote
ENTCS
2002
14 years 11 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
WER
2007
Springer
15 years 5 months ago
2007
Springer
: Non-Functional Requirements (NFR) are subjective, interactive and relative, thus realizing the need for particular NFR is by itself a challenge. Furthermore understanding what th...
AML
2006
14 years 12 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...