Sciweavers

3570 search results - page 175 / 714
» Using the Small-World Model to Improve Freenet Performance
Sort
View
161
Voted
QEST
2010
IEEE
15 years 2 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
125
Voted
ISMB
1996
15 years 5 months ago
Gene Recognition in Cyanobacterium Genomic Sequence Data Using the Hidden Markov Model
We have developed a hidden Markov model (HMM)to detect the protein coding regions within one megabase contiguous sequence data, registered in a database called GenBankin eight ent...
Tetsushi Yada, Makoto Hirosawa
ICRA
2008
IEEE
136views Robotics» more  ICRA 2008»
15 years 11 months ago
Modeling multi-robot interaction using generalized occupancy grids, with application to reducing spatial interference
— As part of a program to find methods of reducing spatial interference in multi-robot systems, we propose the Interaction Grid (IG), a generalization of the Occupancy Grid that...
Mauricio Zuluaga, Richard T. Vaughan
ICCD
2005
IEEE
108views Hardware» more  ICCD 2005»
16 years 1 months ago
Methods for Modeling Resource Contention on Simultaneous Multithreading Processors
Simultaneous multithreading (SMT) seeks to improve the computation throughput of a processor core by sharing primary resources such as functional units, issue bandwidth, and cache...
Tipp Moseley, Dirk Grunwald, Joshua L. Kihm, Danie...
IJCV
2012
13 years 7 months ago
Impact of Landmark Parametrization on Monocular EKF-SLAM with Points and Lines
Abstract This paper explores the impact that landmark parametrization has in the performance of monocular, EKFbased, 6-DOF simultaneous localization and mapping (SLAM) in the conte...
Joan Solà, Teresa A. Vidal-Calleja, Javier ...