1864 search results - page 141 / 373 » Formal topology and domains |
186
click to vote
LISP
2007
15 years 6 months ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
161
click to vote
FSS
2010
15 years 5 months ago
2010
The paper investigates fuzzy relations on a finite domain in the cutworthy framework, dealing with a new property coming from the information theory. If the domain of a relation i...
153
click to vote
ACSAC
2006
IEEE
16 years 16 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
198
click to vote
DILS
2005
Springer
15 years 12 months ago
2005
Springer
Few ontologies in the ecological domain exist, but their development can take advantage of gained experience in other domains and from existing modeling practices in ecology. Taxon...
182
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...