1115 search results - page 36 / 223 » An Abstract Look at Realizability |
ELECTRONICMARKETS
1998
13 years 7 months ago
1998
AbstractAbstractAbstractAbstract This paper takes a critical look at electronic markets. Through an examination of Hong Kong’s air cargo industry, where an electronic network rec...
ISORC
2008
IEEE
14 years 2 months ago
2008
IEEE
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
AH
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we introduce an approach to the adaptive composition of video documentaries. The adaptation is based on templates that encode rules for the dynamic selection, sequen...
GECCO
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Two methods were evaluated for performing spectral breakpoint matching: a multi-level pruned exhaustive search and a genetic algorithm. The GA found matches about as good...
CIE
2010
Springer
14 years 12 days ago
2010
Springer
Abstract. We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to t...