Sciweavers

5630 search results - page 220 / 1126
» Computability in Specification
Sort
View
ICPR
2008
IEEE
16 years 1 months ago
Improvements in hidden Markov model based Arabic OCR
This paper describes recent advances in hidden Markov model (HMM) based OCR for machine-printed Arabic documents. A combination of scriptindependent and script-specific techniques...
Rohit Prasad, Shirin Saleem, Matin Kamali, Ralf Me...
DSN
2007
IEEE
16 years 1 months ago
Assurance Based Development of Critical Systems
  Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an  assurance  case  that  sets  out  the  dependabilit...
Patrick J. Graydon, John C. Knight, Elisabeth A. S...
159
Voted
ISSADS
2005
Springer
16 years 5 days ago
Architecture for Media Streaming Delivery over P2P Networks
Peer-to-Peer networks (P2P) exhibit specific characteristics that can be exploited for media streaming delivery. In this paper we propose a P2Pbased architecture for video streamin...
Francisco de Asís López-Fuentes, Eck...
DAC
1996
ACM
15 years 10 months ago
A Hardware/Software Partitioning Algorithm for Designing Pipelined ASIPs with Least Gate Counts
Abstract -- This paper introduces a new HW/SW partitioning algorithm used in automating the instruction set processor design for pipelined ASIP (Application Specific Integrated Pro...
Nguyen-Ngoc Bình, Masaharu Imai, Akichika S...
191
Voted
ISN
2000
Springer
158views Communications» more  ISN 2000»
15 years 10 months ago
Load Balancing for a Distributed CORBA-Based SCP
This paper examines load balancing issues relating to a distributed CORBA-based Service Control Point. Two types of load balancing strategies are explored through simulation studie...
Conor McArdle, Niklas Widell, Christian Nyberg, Er...