Sciweavers

10072 search results - page 1412 / 2015
» Composition of Model Programs
Sort
View
ICDAR
2003
IEEE
16 years 16 days ago
A Study on Top-down Word Image Generation for Handwritten Word Recognition
This paper describes a top-down word image generation model for holistic handwritten word recognition. To generate a word image, it uses likelihoods based, respectively, on a ling...
Eiki Ishidera, Daisuke Nishiwaki
SP
2003
IEEE
121views Security Privacy» more  SP 2003»
16 years 16 days ago
Specifying and Verifying Hardware for Tamper-Resistant Software
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
David Lie, John C. Mitchell, Chandramohan A. Thekk...
APPT
2003
Springer
16 years 15 days ago
Optimal Broadcast Channel for Data Dissemination in Mobile Database Environment
The increase number of mobile users in wireless environment affects query access time substantially. To minimise the query access time, one possible way is to employ data broadcast...
Agustinus Borgy Waluyo, Bala Srinivasan, David Tan...
VLSID
1999
IEEE
93views VLSI» more  VLSID 1999»
15 years 11 months ago
Spec-Based Repeater Insertion and Wire Sizing for On-chip Interconnect
Recently Lillis, et al. presented an elegant dynamic programming approach to RC interconnect delay optimization through driver sizing, repeater insertion, and, wire sizing which e...
Noel Menezes, Chung-Ping Chen
248
Voted
AMOST
2007
ACM
15 years 11 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz
« Prev « First page 1412 / 2015 Last » Next »