3591 search results - page 715 / 719 » Typing linear constraints |
ISSRE
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...
KBS
2010
13 years 8 months ago
2010
The users of a content repository express the semantics they have in mind while defining the content items and their properties, and forming them into a particular hierarchy. How...
SIAMJO
2010
13 years 8 months ago
2010
Abstract. This paper concerns second-order analysis for a remarkable class of variational systems in finite-dimensional and infinite-dimensional spaces, which is particularly imp...
APSCC
2010
IEEE
13 years 8 months ago
2010
IEEE
Middleware for web service orchestration, such as runtime engines for executing business processes, workflows, or web service compositions, can easily become performance bottleneck...
NAACL
2010
13 years 8 months ago
2010
We carried out a study on monolingual translators with no knowledge of the source language, but aided by post-editing and the display of translation options. On Arabic-English and...