10159 search results - page 1852 / 2032 » System Design Validation Using Formal Models |
126
Voted
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Intelligent tutoring systems have demonstrated their utility in a variety of domains. However, they are notoriously resource intensive to build. We report here on the development ...
113
Voted
CHI
2007
ACM
16 years 2 months ago
2007
ACM
We are developing a computer system which provides information about babies in neonatal intensive care to family members and friends. A key challenge is deciding what information ...
110
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
This research has the main objective of presenting a study on the areas of Human-Computer Interaction (HCI) and Software Engineering (SE), focusing on the importance of integratin...
119
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We address the problem of incorporating user preference in automatic image enhancement. Unlike generic tools for automatically enhancing images, we seek to develop methods that ca...
103
Voted
EUROSEC
2009
ACM
15 years 9 months ago
2009
ACM
In this paper a new approach to API remoting for GPU virtualisation is described which aims to reduce the amount of trusted code involved in 3D rendering for guest VMs. To achieve...