Sciweavers

666 search results - page 52 / 134
» Design and implementation of a live-analysis digital forensi...
Sort
View
EUROMED
2010
14 years 7 months ago
Automated Processing of Data from 3D Scanning of Cultural Heritage Objects
Abstract. In this paper, the concept of computational environment for processing of very large datasets (clouds of points with amount up to 1011 measurement points) obtained from 3...
Robert Sitnik, Maciej Karaszewski
ISMIR
2005
Springer
185views Music» more  ISMIR 2005»
15 years 3 months ago
PlaySOM and PocketSOMPlayer, Alternative Interfaces to Large Music Collections
With the rising popularity of digital music archives the need for new access methods such as interactive exploration or similarity-based search become significant. In this paper ...
Robert Neumayer, Michael Dittenbach, Andreas Raube...
FPL
2006
Springer
156views Hardware» more  FPL 2006»
15 years 1 months ago
Improving Usability of FPGA-Based Reconfigurable Computers Through Operating System Support
Advances in FPGA-based reconfigurable computers have made them a viable computing platform for a vast variety of computation demanding areas such as bioinformatics, speech recogni...
Hayden Kwok-Hay So, Robert W. Brodersen
SIGSOFT
2003
ACM
15 years 10 months ago
Towards scalable compositional analysis by refactoring design models
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...
FC
2000
Springer
106views Cryptology» more  FC 2000»
15 years 1 months ago
Capability-Based Financial Instruments
Every novel cooperative arrangement of mutually suspicious parties interacting electronically -- every smart contract -- effectively requires a new cryptographic protocol. However,...
Mark S. Miller, Chip Morningstar, Bill Frantz