1608 search results - page 41 / 322 » Functional Understanding Based on an Ontology of Functional ... |
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
– Borrowing a concept from hydrodynamic analysis, this paper presents stream functions which satisfy Laplace’s equation as a local-minima free method for producing potential-ï¬...
ENGL
2007
13 years 9 months ago
2007
An uncertainty model for an expensive function greatly improves the effectiveness of a design decision based on the use of a less accurate function. In this paper, we propose a met...
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
ERSHOV
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
AML
1999
13 years 8 months ago
1999
The paper studies a domain theoretical notion of primitive recursion over partial sequences in the context of Scott domains. Based on a non-monotone coding of partial sequences, t...