4460 search results - page 518 / 892 » Formal methods for interactive systems |
192
click to vote
NORDICHI
2004
ACM
16 years 4 days ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
199
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Projection systems can be used to implement augmented reality, as well as to create both displays and interfaces on ordinary surfaces. Ordinary surfaces have varying reflectance, ...
179
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
The number and complexity of distributed applications has exploded, and to-date, each has had to create its own method for providing diagnostic tools and performance metrics. Thes...
249
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
167
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Modelling of time series data should not be an approximation of input data profiles, but rather be able to detect and evaluate dynamical changes in the time series dat...