2262 search results - page 358 / 453 » Developing adaptable user interfaces for component-based sys... |
155
click to vote
AVI
2006
15 years 4 months ago
2006
Scientific measurements are often depicted as line graphs. Stateof-the-art high throughput systems in life sciences, telemetry and electronics measurement rapidly generate hundred...
147
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
119
click to vote
ACL
1998
15 years 4 months ago
1998
Miscommunication in speech recognition systems is unavoidable, but a detailed characterization of user corrections will enable speech systems to identify when a correction is taki...
129
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
In order to support increased consumer awareness regarding energy consumption, we have been developing new ways of representing and interacting with energy in electric products in...
105
click to vote
DCOSS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Current programming interfaces for sensor networks often target experienced developers and lack important features. Tables is a spreadsheet inspired programming environme...