Sciweavers

5290 search results - page 911 / 1058
» Information systems as social structures
Sort
View
PPDP
2009
Springer
16 years 1 months ago
Relational semantics for effect-based program transformations: higher-order store
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reï...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
SG
2009
Springer
16 years 1 months ago
An Interface for Assisting the Design and Production of Pop-Up Card
This paper describes an interface for assisting the design and production of pop-up cards by using a computer. A pop-up card is a piece of a folded paper from which a three-dimensi...
Sosuke Okamura, Takeo Igarashi
MOBILWARE
2009
ACM
16 years 1 months ago
A Mission Management Framework for Unmanned Autonomous Vehicles
Unmanned Autonomous Vehicles (UAVs) are increasingly deployed for missions that are deemed dangerous or impractical to perform by humans in many military and disaster scenarios. UA...
Eskindir Asmare, Anandha Gopalan, Morris Sloman, N...
ICC
2008
IEEE
123views Communications» more  ICC 2008»
16 years 29 days ago
A Simple Modulation Code with Peak Power Reduction and Coding Gain
Abstract— In this paper, a simple modulation code called symbol insertion for band-limited single-carrier systems is proposed. This code can reduce the peak-to-average power rati...
Makoto Tanahashi, Hideki Ochiai
IDEAS
2008
IEEE
109views Database» more  IDEAS 2008»
16 years 28 days ago
EXsum: an XML summarization framework
1 We propose a new framework for the summarization of XML document properties called EXsum (Element-wise XML summarization), which can capture statistical information of all import...
José de Aguiar Moraes Filho, Theo Härd...