770 search results - page 62 / 154 » Dinatural Terms in System F |
HAPTICS
2010
IEEE
15 years 1 months ago
2010
IEEE
Tactile and haptic interaction is becoming increasingly important and ergonomic standards can ensure that systems are designed with sufficient concerns for ergonomics and interoper...
PODC
2010
ACM
15 years 1 months ago
2010
ACM
During the analysis of packet log files from network experiments, the question arises which received packet belongs to which of the potentially many binary identical send events....
104
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
This paper proposes a hybrid genetic algorithm for multiple sequence alignment. The algorithm evolves guide sequences and aligns input sequences based on the guide sequences. It a...
RIAO
2007
14 years 11 months ago
2007
The automatic summarisation of sports video is of growing importance with the increased availability of on-demand content. Consumers who are unable to view events live often have ...