700 search results - page 53 / 140 » words 2005 |
IEEESCC
2005
IEEE
15 years 3 months ago
2005
IEEE
Discovering and assembling individual Web services into more complex yet new and more useful Web processes has received significant attention from academia recently. In this thesi...
MUM
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we describe a mobile phone based Augmented Reality application for 3D scene assembly. Augmented Reality on mobile phones extends the interaction capabilities on such...
CAIP
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a segmentation algorithm for gray-level images and addresses issues related to its performance on noisy images. It formulates an image segmentation problem as a...
83
Voted
ESOP
2005
Springer
15 years 3 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
ICN
2005
Springer
15 years 3 months ago
2005
Springer
Proposed by Maurer the bounded storage model has received much academic attention in the recent years. Perhaps the main reason for this attention is that the model facilitates a un...