8587 search results - page 1499 / 1718 » Interactive dynamic abstraction |
189
click to vote
IFM
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
171
click to vote
INLG
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. We present a novel ensemble of six methods for improving the efficiency of chart realization. The methods are couched in the framework of Combinatory Categorial Grammar (...
198
click to vote
ISER
2004
Springer
16 years 15 days ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
163
click to vote
LSO
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Developing and maintaining software systems is a knowledge intensive task. One needs knowledge of the application domain of the software, the problem the system solves, t...
201
click to vote
PERVASIVE
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Many work environments can benefit from integrated computing devices to provide information to users, record users’ actions, and prompt users about the next steps to t...