1398 search results - page 187 / 280 » Ensuring Properties of Interaction Systems |
249
click to vote
LBM
2007
15 years 7 months ago
2007
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
209
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
We present an interactive application that enables users to improve the visual aesthetics of their digital photographs using spatial recomposition. Unlike earlier work that focuse...
163
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
163
click to vote
FORTE
2003
15 years 7 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
169
click to vote
ISMAR
2007
IEEE
16 years 19 days ago
2007
IEEE
Unknown environments pose a particular challenge for augmented reality applications because the 3D models required for tracking, rendering and interaction are not available ahead ...