Sciweavers

440 search results - page 82 / 88
» On Some Systems Controlled by the Structure of Their Memory
Sort
View
FM
2006
Springer
133views Formal Methods» more  FM 2006»
14 years 8 days ago
Enforcer - Efficient Failure Injection
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
Cyrille Artho, Armin Biere, Shinichi Honiden
PAMI
2002
143views more  PAMI 2002»
13 years 8 months ago
Lexicon-Driven Segmentation and Recognition of Handwritten Character Strings for Japanese Address Reading
This paper describes a handwritten character string recognition system for Japanese mail address reading on very large vocabulary. The address phrases are recognized as a whole bec...
Cheng-Lin Liu, Masashi Koga, Hiromichi Fujisawa
KBS
2000
122views more  KBS 2000»
13 years 8 months ago
Creating knowledge maps by exploiting dependent relationships
Knowledge is an interesting concept that has attracted the attention of philosophers for thousands of years. In more recent times, researchers have investigated knowledge in a mor...
John L. Gordon
ICFP
2005
ACM
14 years 8 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
SIGMOD
2009
ACM
202views Database» more  SIGMOD 2009»
14 years 8 months ago
A comparison of flexible schemas for software as a service
A multi-tenant database system for Software as a Service (SaaS) should offer schemas that are flexible in that they can be extended for different versions of the application and d...
Stefan Aulbach, Dean Jacobs, Alfons Kemper, Michae...