Sciweavers

1180 search results - page 81 / 236
» A generic structure-from-motion framework
Sort
View
CCS
2009
ACM
15 years 5 months ago
CoSP: a general framework for computational soundness proofs
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
Michael Backes, Dennis Hofheinz, Dominique Unruh
100
Voted
ICWE
2009
Springer
15 years 4 months ago
An Extensible Monitoring Framework for Measuring and Evaluating Tool Performance in a Service-Oriented Architecture
The lack of QoS attributes and their values is still one of the fundamental drawbacks of web service technology. Most approaches for modelling and monitoring QoS and web service pe...
Christoph Becker, Hannes Kulovits, Michael Kraxner...
ICMCS
2005
IEEE
218views Multimedia» more  ICMCS 2005»
15 years 3 months ago
A Mid-level Visual Concept Generation Framework for Sports Analysis
The development of mid-level concepts helps to bridge the gap between low-level feature and high-level semantics in video analysis. Most existing work combines the customized mid-...
Xiaofeng Tong, Lingyu Duan, Hanqing Lu, Changsheng...
LADC
2005
Springer
15 years 3 months ago
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension
In this paper we present NekoStat, an extension of the Neko tool. Neko is a Java framework and a communication platform that permits rapid prototyping of distributed applications; ...
Lorenzo Falai, Andrea Bondavalli, Felicita Di Gian...
101
Voted
PERVASIVE
2005
Springer
15 years 3 months ago
A Conceptual Framework for Camera Phone-Based Interaction Techniques
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...
Michael Rohs, Philipp Zweifel