1828 search results - page 296 / 366 » First-Class Type Classes |
127
click to vote
ISCI
2008
15 years 2 months ago
2008
Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been inve...
120
click to vote
JAIR
2008
15 years 2 months ago
2008
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about multi-agent ...
109
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...
123
click to vote
IJRR
2006
15 years 2 months ago
2006
A common mobile robot design consists of three `omniwheels' arranged at the vertices of an equilateral triangle, with wheel axles aligned with the rays from the center of the...
112
click to vote
JOC
2008
15 years 2 months ago
2008
This paper presents a novel framework for the generic construction of hybrid encryption schemes which produces more efficient schemes than the ones known before. A previous framew...