PolyTope ARTMAP (PTAM) [6] is an ART neural network based on internal categories with irregular polytope (polygon in IRn ) geometry. Categories in PTAM do not overlap, so that thei...
For software agents to become part of e-commerce they have to be flexible—to engage in negotiations of forms which are not known in advance, and mobile—to migrate to remote lo...
Costin Badica, Maria Ganzha, Marcin Paprzycki, Ama...
This paper describes a tunably-difficult problem for genetic programming (GP) that probes for limits to building block mixing and assembly. The existence of such a problem can be ...
Jason M. Daida, Michael E. Samples, Matthew J. Byo...
Location-based ubiquitous computing systems are entering mainstream society and becoming familiar parts of everyday life. However, the settings in which they are deployed are alre...
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...