Sciweavers

2075 search results - page 319 / 415
» aims 2007
Sort
View
WCE
2007
15 years 5 months ago
Solution of Supersonic Internal Flow Problems Using MFDV
— The FDV method was originally developed by T.J. Chung [3]-[6]. The authors developed and presented a modification to this method named MFDV method in [2]. The aim of this modif...
A. A. Megahed, M. W. El-Mallah, B. R. Girgis
WCE
2007
15 years 5 months ago
Determination of the Position and Orientation of Rigid Bodies by Using Single Camera Images
- This study aims to present a new reconstruction method which enables reconstruction of 3D configuration of an object using single camera images. A secondary planar target which i...
Varlik Kilic, Bulent E. Platin
WCET
2007
15 years 5 months ago
Automatic Amortised Worst-Case Execution Time Analysis
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...
Christoph A. Herrmann, Armelle Bonenfant, Kevin Ha...
AMAI
2007
Springer
15 years 4 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
121
Voted
CG
2007
Springer
15 years 3 months ago
Semantic lenses: Seamless augmentation of web pages with context information from implicit queries
We propose a novel method to support analytical processes by visually integrating context information directly into web pages. The context information is obtained from knowledge b...
Martin Rotard, Mark Giereth, Thomas Ertl