Sciweavers

1937 search results - page 132 / 388
» Starting B Specifications from Use Cases
Sort
View
APSEC
2005
IEEE
15 years 10 months ago
A Passive Test Oracle Using a Component's API
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
Rakesh Shukla, David A. Carrington, Paul A. Stroop...
GROUP
1999
ACM
15 years 9 months ago
Getting some perspective: using process descriptions to index document history
Process descriptions are used in workflow and related systems to describe the flow of work and organisational responsibility in business processes, and to aid in coordination. How...
Paul Dourish, Richard Bentley, Rachel Jones, Allan...
EPIA
2009
Springer
15 years 8 months ago
Semantic Image Search and Subset Selection for Classifier Training in Object Recognition
Abstract. Robots need to ground their external vocabulary and internal symbols in observations of the world. In recent works, this problem has been approached through combinations ...
Rui Pereira, Luís Seabra Lopes, Augusto Sil...
ICTAI
2010
IEEE
15 years 2 months ago
A Closer Look at MOMDPs
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...
Mauricio Araya-López, Vincent Thomas, Olivi...
ICPR
2010
IEEE
15 years 7 months ago
Pattern Recognition Using Functions of Multiple Instances
The Functions of Multiple Instances (FUMI) method for learning a target prototype from data points that are functions of target and non-target prototypes is introduced. In this pa...
Alina Zare, Paul Gader