854 search results - page 70 / 171 » Addressing Dynamic Issues of Program Model Checking |
112
click to vote
MM
1993
ACM
15 years 6 months ago
1993
ACM
This paper addresses the key issue of providing flexible multimedia presentation with user participation and suggests synchronization models which can specify the user participat...
124
Voted
ICIAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Mixed Reality (MR) applications tend to focus on the accuracy of registration between the virtual and real objects of a scene, while paying relatively little attention to...
103
Voted
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
Principal Component Analysis (PCA) is a well-established technique in image processing and pattern recognition. Incremental PCA and robust PCA are two interesting problems with nu...
112
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
— This paper explores optimization of paging and registration policies in cellular networks. Motion is modeled as a discrete-time Markov process, and minimization of the discount...
126
click to vote
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...