Sciweavers

2016 search results - page 134 / 404
» Megamaps: Construction and Examples
Sort
View
JCISE
2002
148views more  JCISE 2002»
15 years 6 months ago
Hybrid Cellular-functional Modeling of Heterogeneous Objects
An approach to modeling heterogeneous objects as multidimensional point sets with multiple attributes (hypervolumes) is presented. Attributes given at each point represent object ...
Valery Adzhiev, Elena Kartasheva, Tosiyasu L. Kuni...
JSYML
2002
84views more  JSYML 2002»
15 years 6 months ago
Maximal Contiguous Degrees
A computably enumerable (c.e.) degree is a maximal contiguous degree if it is contiguous and no c.e. degree strictly above it is contiguous. We show that there are infinitely many ...
Peter Cholak, Rodney G. Downey, Stephen Walk
PRL
1998
81views more  PRL 1998»
15 years 6 months ago
Lie generators for computing steerable functions
We present a computational, group-theoretic approach to steerable functions. The approach is group-theoretic in that the treatment involves continuous transformation groups for wh...
Patrick C. Teo, Yacov Hel-Or
TSMC
1998
152views more  TSMC 1998»
15 years 6 months ago
Discrete event representation of qualitative models using Petri nets
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
Alessandra Fanni, Alessandro Giua
FGCS
2010
129views more  FGCS 2010»
15 years 5 months ago
Bulk synchronous parallel ML with exceptions
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
Louis Gesbert, Frédéric Gava, Fr&eac...