Sciweavers

3954 search results - page 372 / 791
» Image-based Model Completion
Sort
View
COOPIS
2004
IEEE
15 years 8 months ago
EMMA - A Query Algebra for Enhanced Multimedia Meta Objects
Enhanced Multimedia Meta Objects (EMMOs) are a novel approach to multimedia content modeling, combining media, semantic relationships between those media, as well as functionality ...
Sonja Zillner, Utz Westermann, Werner Winiwarter
FATES
2004
Springer
15 years 8 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
EPEW
2006
Springer
15 years 8 months ago
Experimental Analysis of the Correlation of HTTP GET Invocations
In this paper we experimentally investigate if optimal retry times can be determined based on models that assume independence of successive tries. We do this using data obtained fo...
Philipp Reinecke, Aad P. A. van Moorsel, Katinka W...
144
Voted
3DIM
2001
IEEE
15 years 8 months ago
Estimation of Elastic Constants from 3D Range-Flow
This paper shows how range-flow can help to estimate the elastic constants of complete objects. In our framework, the object is deformed actively by a robotic device pushing into ...
Jochen Lang, Dinesh K. Pai
ICALP
2000
Springer
15 years 8 months ago
Graph Transformations on the UML Metamodel
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
Martin Gogolla