Sciweavers

172 search results - page 17 / 35
» A classification of design steps and their verification
Sort
View
CROSSROADS
2010
14 years 4 months ago
Massive multiplayer human computation for fun, money, and survival
Crowdsourcing is an effective tool to solve hard tasks. By bringing 100,000s of people to work on simple tasks that only humans can do, we can go far beyond traditional models of ...
Lukas Biewald
ICDAR
2009
IEEE
14 years 7 months ago
Combining Multiple HMMs Using On-line and Off-line Features for Off-line Arabic Handwriting Recognition
This paper presents an off-line Arabic Handwriting recognition system based on the selection of different state of the art features and the combination of multiple Hidden Markov M...
Mahdi Hamdani, Haikal El Abed, Monji Kherallah, Ad...
WCRE
1996
IEEE
15 years 1 months ago
Identifying Enumeration Types Modeled with Symbolic Constants
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
John M. Gravley, Arun Lakhotia
SIGSOFT
2008
ACM
15 years 10 months ago
Towards compositional synthesis of evolving systems
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, ...
DAC
2005
ACM
14 years 11 months ago
Power grid simulation via efficient sampling-based sensitivity analysis and hierarchical symbolic relaxation
On-chip supply networks are playing an increasingly important role for modern nanometer-scale designs. However, the ever growing sizes of power grids make the analysis problem ext...
Peng Li