5630 search results - page 220 / 1126 » Computability in Specification |
113
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
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...
113
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an assurance case that sets out the dependabilit...
134
Voted
ISSADS
2005
Springer
15 years 10 months ago
2005
Springer
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...
156
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
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...
166
Voted
ISN
2000
Springer
15 years 8 months ago
2000
Springer
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...