3066 search results - page 74 / 614 » On Facilitating Automated Evaluation |
STTT
2008
13 years 7 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
IJRFITA
2007
13 years 7 months ago
2007
: Precise temperature monitoring is the major precondition to supervise quality losses within the transport chain for fresh products. Different types of miniaturised data loggers w...
PSB
2010
13 years 5 months ago
2010
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
IFIP12
2009
13 years 5 months ago
2009
This paper describes an argumentation-based approach for automating the decision making process of an autonomous agent for pricing products. Product pricing usually involves differ...
EVOW
2005
Springer
14 years 1 months ago
2005
Springer
Performance evaluation of routing protocols is an important area of research that deals with the analysis and investigation of such protocols. A performance evaluation framework un...