Sciweavers

21324 search results - page 364 / 4265
» Making the case for computing
Sort
View
154
Voted
ISI
2007
Springer
15 years 4 months ago
Outil autonome de surveillance de grilles
ABSTRACT. Grids have become very complex. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from administrators. We believe that peer-t...
Laurent Baduel, Satoshi Matsuoka
FMSD
1998
60views more  FMSD 1998»
15 years 4 months ago
The General Product Machine: a New Model for Symbolic FSM Traversal
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Pa...
TMM
2010
141views Management» more  TMM 2010»
14 years 11 months ago
A Robust Block-Based Image/Video Registration Approach for Mobile Imaging Devices
Digital video stabilization enables to acquire video sequences without disturbing jerkiness by compensating unwanted camera movements. In this paper we propose a novel fast image r...
Sebastiano Battiato, Arcangelo Bruna, Giovanni Pug...
CANDC
2011
ACM
14 years 4 months ago
Perception, insight, and creativity in paradigm, a game of pattern exploration
This paper discusses Paradigm, a game of intuition and pattern exploration. We offer a sample case study aimed at illustrating the game’s relevance as a microdomain for studying...
William W. York, David C. Bender
SEMWEB
2012
Springer
14 years 13 days ago
How to deal with massively heterogeneous cultural heritage data - lessons learned in CultureSampo
Abstract. This paper presents the CultureSampo system from the viewpoint of publishing heterogeneous linked data as a service. Discussed are the problems of converting legacy data ...
Eetu Mäkelä, Eero Hyvönen, Tuukka R...