5904 search results - page 895 / 1181 » Requirements for a Composition Language |
140
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
120
click to vote
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...
173
Voted
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
Amharic is the official language of Ethiopia and uses Ethiopic script for writing. In this paper, we present writer-independent HMM-based Amharic word recognition for offline hand...
133
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Multi-agent systems where the members are developed by parties with competing interests, and where there is no access to a member’s internal state, are often classified as ‘o...
121
Voted
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...