Sciweavers

4343 search results - page 315 / 869
» Replication Techniques for Availability
Sort
View
ISLPED
1997
ACM
104views Hardware» more  ISLPED 1997»
15 years 10 months ago
Composite sequence compaction for finite-state machines using block entropy and high-order Markov models
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...
Radu Marculescu, Diana Marculescu, Massoud Pedram
DLOG
2007
15 years 9 months ago
A New Mapping from ALCI to ALC
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...
Yu Ding, Volker Haarslev, Jiewen Wu
WSC
2008
15 years 9 months ago
A flexible and scalable experimentation layer
Modeling and simulation frameworks for use in different application domains, throughout the complete development process, and in different hardware environments need to be highly ...
Jan Himmelspach, Roland Ewald, Adelinde M. Uhrmach...
CCIA
2008
Springer
15 years 8 months ago
The SLAM problem: a survey
This paper surveys the most recent published techniques in the field of Simultaneous Localization and Mapping (SLAM). In particular it is focused on the existing techniques availab...
Josep Aulinas, Yvan R. Petillot, Joaquim Salvi, Xa...
CVPR
2008
IEEE
15 years 8 months ago
Motion blur identification from image gradients
Restoration of a degraded image from motion blurring is highly dependent on the estimation of the blurring kernel. Most of the existing motion deblurring techniques model the blur...
Hui Ji, Chaoqiang Liu