Sciweavers

6039 search results - page 29 / 1208
» The Function Space of an Activity
Sort
View
AML
2006
87views more  AML 2006»
15 years 4 months ago
The modal logic of continuous functions on cantor space
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
Philip Kremer
NJC
2000
169views more  NJC 2000»
15 years 3 months ago
A Type System for Bounded Space and Functional In-Place Update
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
Martin Hofmann
136
Voted
ISMIS
2003
Springer
15 years 9 months ago
Granular Computing Based on Rough Sets, Quotient Space Theory, and Belief Functions
Abstract. A model of granular computing (GrC) is proposed by reformulating, re-interpreting, and combining results from rough sets, quotient space theory, and belief functions. Two...
Y. Y. Yao, Churn-Jung Liau, Ning Zhong
SCL
2008
95views more  SCL 2008»
15 years 4 months ago
Regular implementation in the space of compactly supported functions
This article extends results on regular implementablity in [3] and [8] to the case when the signal space is not an injective cogenerator, for instance, the space D of compactly su...
D. Napp Avelli, Shiva Shankar, Harry L. Trentelman
GECCO
2007
Springer
163views Optimization» more  GECCO 2007»
15 years 10 months ago
Exploring medical data using visual spaces with genetic programming and implicit functional mappings
Two medical data sets (Breast cancer and Colon cancer) are investigated within a visual data mining paradigm through the unsupervised construction of virtual reality spaces using ...
Julio J. Valdés, Robert Orchard, Alan J. Ba...