5639 search results - page 931 / 1128 » Timed Abstract Non-interference |
122
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
143
click to vote
HAPTICS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. In this paper, a study on the role of force feedback for teleoperation of industrial overhead crane is presented. Teleoperation of industrial crane was described and anal...
131
click to vote
ARC
2010
Springer
15 years 3 months ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
138
click to vote
DAGM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. For every segmentation task, prior knowledge about the object that shall be segmented has to be incorporated. This is typically performed either automatically by using la...
162
click to vote
DAWAK
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Although many proposals exist for extending Geographic Information Systems (GIS) with OLAP and data warehousing capabilities (a topic denoted SOLAP), only recently the im...