Sciweavers

2075 search results - page 319 / 415
» aime 2007
Sort
View
71
Voted
WCE
2007
15 years 1 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
114
Voted
WCE
2007
15 years 1 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
113
Voted
WCET
2007
15 years 1 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 22 days 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...
CG
2007
Springer
15 years 18 days 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