Sciweavers

526 search results - page 40 / 106
» Representations of structural closure operators
Sort
View
HASKELL
2006
ACM
15 years 5 months ago
Strongly typed memory areas programming systems-level data structures in a functional language
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
Iavor S. Diatchki, Mark P. Jones
CEC
2005
IEEE
15 years 5 months ago
Geometric landscape of homologous crossover for syntactic trees
The relationship between search space, distances and genetic operators for syntactic trees is little understood. Geometric crossover and geometric mutation are representation-indep...
Alberto Moraglio, Riccardo Poli
MAICS
2003
15 years 1 months ago
Representing Symbolic Reasoning
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
Brian E. Mastenbrook, Eric G. Berkowitz
P2P
2006
IEEE
229views Communications» more  P2P 2006»
15 years 5 months ago
Cost-Aware Processing of Similarity Queries in Structured Overlays
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...
Marcel Karnstedt, Kai-Uwe Sattler, Manfred Hauswir...
ISDA
2009
IEEE
15 years 6 months ago
Extending Datatype Restrictions in Fuzzy Description Logics
Fuzzy Description Logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relativel...
Fernando Bobillo, Umberto Straccia