Sciweavers

3830 search results - page 562 / 766
» From Reference Model to Component Model
Sort
View
TOCL
2008
113views more  TOCL 2008»
15 years 3 months ago
Abstract state machines capture parallel algorithms: Correction and extension
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
Andreas Blass, Yuri Gurevich
ENTCS
2002
145views more  ENTCS 2002»
15 years 3 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
JMLR
2012
13 years 5 months ago
On Nonparametric Guidance for Learning Autoencoder Representations
Unsupervised discovery of latent representations, in addition to being useful for density modeling, visualisation and exploratory data analysis, is also increasingly important for...
Jasper Snoek, Ryan Prescott Adams, Hugo Larochelle
126
Voted
ICDAR
2009
IEEE
15 years 10 months ago
Robust Recognition of Documents by Fusing Results of Word Clusters
The word error rate of any optical character recognition system (OCR) is usually substantially below its component or character error rate. This is especially true of Indic langua...
Venkat Rasagna, Anand Kumar 0002, C. V. Jawahar, R...
C3S2E
2009
ACM
15 years 10 months ago
Integrating heterogeneous user interfaces in service oriented web applications
Service Oriented Architecture (SOA) is a design framework that permits the developer to build complex applications from smaller modules called “services”. When applying SOA to...
Matthias Tilsner, Adrian Fiech, Thomas Specht