Sciweavers

1893 search results - page 146 / 379
» Computational composites
Sort
View
TCAD
1998
95views more  TCAD 1998»
15 years 24 days ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
ICASSP
2011
IEEE
14 years 4 months ago
Two effective and computationally efficient pure-pixel based algorithms for hyperspectral endmember extraction
Endmember extraction is of prime importance in the process of hyperspectral unmixing so as to study the mineral composition of a landscape from its hyperspectral observations. Tho...
Arul-Murugan Ambikapathi, Tsung-Han Chan, Chong-Yu...
ICFP
2001
ACM
16 years 1 months ago
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
Steven E. Ganz, Amr Sabry, Walid Taha
ESORICS
2002
Springer
16 years 23 days ago
Computational Probabilistic Non-interference
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
Michael Backes, Birgit Pfitzmann
HICSS
2003
IEEE
98views Biometrics» more  HICSS 2003»
15 years 6 months ago
On the Limits of Bottom-Up Computer Simulation: Towards a Nonlinear Modeling Culture
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
Kurt A. Richardson