555 search results - page 30 / 111 » PST: The Provider Selection Tool |
FM
2009
Springer
14 years 4 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
BMVC
1998
13 years 11 months ago
1998
In this paper a fast method of selecting a neural network architecture for pattern recognition tasks is presented. We demonstrate that our proposed method of selecting both input ...
LREC
2008
13 years 11 months ago
2008
This paper presents a freely available, and flexible Wizard of Oz environment for rapid prototyping. The system is designed to investigate the required features of a dialog system...
CCGRID
2004
IEEE
14 years 1 months ago
2004
IEEE
Net-dbx-G is a tool that utilizes Java and other World Wide Web tools as an interface to Grid services to help Grid application developers debug their MPI programs from anywhere i...
ENTCS
2007
13 years 10 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...