Sciweavers

11436 search results - page 139 / 2288
» Modeling Real Reasoning
Sort
View
ICCV
1998
IEEE
16 years 4 months ago
Modeling Geometric Structure and Illumination Variation of a Scene from Real Images
We present in this paper a system which automatically builds, from real images, a scene model containing both 3D geometric information of the scene structure and its photometric...
Zhengyou Zhang
ADAEUROPE
2010
Springer
15 years 27 days ago
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...
Juan A. Pastor, Diego Alonso, Pedro Sánchez...
RTAS
2007
IEEE
15 years 9 months ago
An Approach for Real-Time Database Modeling and Performance Management
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
Jisu Oh, Kyoung-Don Kang
VTC
2010
IEEE
162views Communications» more  VTC 2010»
15 years 1 months ago
Performance Evaluation of Joint Network-Channel Coding under a Real Network Topology Model
— Adaptive network coded cooperation (ANCC) has been proposed as an effective scheme to combine network and channel coding for cooperative wireless networks by matching network-o...
Kun Pang, Zihuai Lin, Yonghui Li, Branka Vucetic
LPAR
2001
Springer
15 years 7 months ago
Tableaux for Reasoning About Atomic Updates
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...
Christian G. Fermüller, Georg Moser, Richard ...