6293 search results - page 474 / 1259 » Information Flow Testing |
195
Voted
TABLEAUX
2005
Springer
16 years 29 days ago
2005
Springer
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
118
click to vote
ICRA
2002
IEEE
16 years 12 days ago
2002
IEEE
: This paper presents the design and testing of a multi-channel vibrotactile display. It is composed of a cylindrical handle with four embedded vibrating elements driven by piezoel...
188
click to vote
FUIN
2006
15 years 7 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
206
click to vote
ACL
2012
13 years 10 months ago
2012
We present a novel approach to the task of word lemmatisation. We formalise lemmatisation as a category tagging task, by describing how a word-to-lemma transformation rule can be ...
177
click to vote
EVOW
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Developing directed mutation methods has been an interesting research topic to improve the performance of genetic algorithms (GAs) for function optimization. This paper i...