1127 search results - page 52 / 226 » Theory Extension in ACL2(r) |
155
click to vote
CJ
2004
15 years 6 months ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
157
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
175
click to vote
VLSM
2005
Springer
15 years 11 months ago
2005
Springer
We develop a fast numerical method to approximate the solutions of a wide class of equations associated to the Shape From Shading problem. Our method, which is based on the control...
149
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
139
click to vote
IJIS
2002
15 years 5 months ago
2002
In search of semantic richer and more flexible database modelling and database querying techniques, different approaches based on fuzzy set theory have been developed. Among the m...