9873 search results - page 1836 / 1975 » Emergent Semantics Systems |
136
Voted
OTM
2007
Springer
15 years 9 months ago
2007
Springer
The content of image archives changes rapidly. This makes the traditional separation of ontology development and image annotation steps no longer feasible. In this paper, we presen...
120
click to vote
SAS
2007
Springer
15 years 9 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
124
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
164
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
133
click to vote
EDOC
2006
IEEE
15 years 9 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...