Sciweavers

25175 search results - page 118 / 5035
» MPEG-4 systems and applications
Sort
View
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 4 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
ICML
1995
IEEE
16 years 7 months ago
Learning to Make Rent-to-Buy Decisions with Systems Applications
In the single rent-to-buy decision problem, without a priori knowledge of the amount of time a resource will be used we need to decide when to buy the resource, given that we can ...
P. Krishnan, Philip M. Long, Jeffrey Scott Vitter
MVA
2007
281views Computer Vision» more  MVA 2007»
15 years 8 months ago
Evaluation of Stereo Matching Systems for Real World Applications Using Structured Light for Ground Truth Estimation
In this paper we present an evaluation method for stereo matching systems and sensors especially for real world indoor applications. We estimate ground truth reference images by i...
Martin Humenberger, Daniel Hartermann, Wilfried Ku...
BIRTHDAY
2008
Springer
15 years 8 months ago
Unfolding Graph Transformation Systems: Theory and Applications to Verification
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
Paolo Baldan, Andrea Corradini, Barbara König
IJCSA
2008
237views more  IJCSA 2008»
15 years 6 months ago
Development of A SOLAP Patrimony Management Application System: Fez Medina as a Case Study
It is well known that transactional and analytical systems each require different database architecture. In general, the database structure of transactional systems is optimized f...
I. Salam, M. El Mohajir, A. Taleb, B. El Mohajir