7529 search results - page 337 / 1506 » The Modula-3 Type System |
192
click to vote
JSS
1998
15 years 6 months ago
1998
An important problem in the ®eld of distributed systems is that of detecting the termination of a distributed computation. Distributed termination detection (DTD) is a dicult p...
193
click to vote
TCSV
2002
15 years 6 months ago
2002
A new class of image information-restoration algorithms virtually different from traditional techniques are proposed. In comparison with other approaches, our methods not only use ...
140
click to vote
TKDE
2002
15 years 6 months ago
2002
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...
163
click to vote
PERVASIVE
2007
Springer
15 years 6 months ago
2007
Springer
Mobile social software is currently designed and conceived to afford serendipitous social interactions in densely populated urban environments. In this paper, I argue that these s...
183
Voted
EUROMED
2010
2010
Architectural Heritage Online: Ontology-Driven Website Generation for World Heritage Sites in Danger
15 years 5 months ago
We introduce an online knowledge base for semantic representation and annotation of a world heritage site in danger. For this purpose we designed ontology inside the protégé tool...