10301 search results - page 1808 / 2061 » informs 2007 |
198
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
184
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
As massive document repositories and knowledge management systems continue to expand, in proprietary environments as well as on the Web, the need for duplicate detection becomes i...
159
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We present the case study of a complex, mixed-initiative scheduling system to illustrate Work-Centered Design (WCD), a new approach for the design of information systems. WCD is b...
194
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Software developers spend significant time gaining and maintaining awareness of fellow developers' activities. FASTDash is a new interactive visualization that seeks to impro...
179
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— The purpose of evaluation procedures is to achieve both qualitative and quantitative statements on haptic rendering realism and performance. Since a haptic interface provides a...