1636 search results - page 42 / 328 » Type-Theoretic Functional Semantics |
107
click to vote
ICFCA
2007
Springer
15 years 3 months ago
2007
Springer
Different rule semantics have been successively defined in many contexts such as implications in artificial intelligence, functional dependencies in databases or association rules...
VAMOS
2007
Springer
15 years 6 months ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
125
click to vote
WEBDB
2004
Springer
15 years 5 months ago
2004
Springer
Current approaches for answering queries with imprecise constraints require users to provide distance metrics and importance measures for attributes of interest. In this paper we ...
111
click to vote
FPL
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
SPLST
2003
15 years 1 months ago
2003
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...