5550 search results - page 167 / 1110 » Different Approaches to Proof Systems |
161
click to vote
CEC
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— We present a novel algorithm for the onedimension offline bin packing problem with discrete item sizes based on the notion of matching the item-size histogram with the...
126
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
234
click to vote
IROS
2006
IEEE
16 years 15 days ago
2006
IEEE
— An important competence for a mobile robot system is the ability to localize and perform context interpretation. This is required to perform basic navigation and to facilitate ...
171
click to vote
CEC
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract- In this paper we address the problem of finding valid solutions for the problem of inferring gene regulatory networks. Different approaches to directly infer the depende...
161
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...